Universal designated multi verifier signature scheme without random oracles

In this paper, we re-formalize the security notions of universal designated multi verifier signature （UDMVS） schemes. Then the first UDMVS scheme is presented in the standard model （i.e. without random oracles） based on Waters＇ signature scheme. In this setting, a signature holder can to designate the signature to multi verifiers. Moreover, the security of our proposed scheme is based on the Gap Bilinear Difffie-Hellman assumption.     

一类椭圆曲线密码强指定验证者签名方案

针对强指定验证者签名的可委托性缺陷,分析了如何保证只有掌握指定验证者私钥的人才可以验证签名的有效性,通过改变方案验证等式的形式来避免此缺陷.基于椭圆曲线签名体制,提出了一个新的强指定验证者签名方案,该方案同时满足不可伪造性、不可传递性及不可委托性.通过合理设计验证等式的形式来构造安全签名方案的思路,提出构造具有不可委托性和不可伪造性的指定验证者签名的通用方法.此外,对Saeednia等人提出的SKM方案进行改进,新方案不存在可委托性缺陷.     

计算机实验室的管理探索与研究

针对计算机实验室的特点,如何采取多种管理技术措施预防故障的产生,降低设备的故障率,提高设备利用率,是做好实验室管理维护工作必须解决的问题。     

强制辩护制度探究

刑事诉讼中的辩护权是被追诉人的一项基本权利,辩护权行使的充分与否,不仅关涉被追诉人的切身利益,更影响着司法的公正性和公信力。现阶段我国刑事案件辩护率低且逐年下降,辩护人的缺席导致控辩力量对比失衡,控辩平等对抗近乎空谈,被告人的正当权益屡遭侵害,冤假错案时有发生。为突破这一困境,提高刑事案件审判水平,借鉴引入强制辩护制度尤为重要,通过强制辩护制度,制衡控方公权力行使,规范刑事诉讼活动,切实维护刑事被追诉人的基本权利,对我国刑事诉讼法的发展具有重要意义。     

地下工程逆作法板柱节点设计及受力分析

针对地下工程采用逆作法施工时板柱节点结构形式的变化带来的受力问题,文章结合实际工程介绍了某地下工程逆作法的施工工艺和板柱节点的设计处理办法,运用有限元软件对无梁楼盖板柱节点处的环梁进行有限元模拟受力分析,验证了在板柱节点处应用环梁是安全可靠的,能有效的传递荷载、承受弯矩,同时对环梁下外包柱的强度进行了验算,最后对地下工程逆作法中其环梁的特点进行了总结.     

国防科技奖励促进技术创新的系统动力学建模

针对国防科技奖励促进技术创新的问题,提出两者间的"技术-人才链"作用,运用系统动力学方法确立因果关系,建立国防科技奖励促进技术创新的系统动力学模型.结果表明:国防科技奖励对技术创新的促进作用表现为对技术创新绩效的标志,对技术创新基础的储备,对技术创新战略的导向,对技术创新成果的转化,对技术创新主体的培育和对技术创新人才的激励诸方面.     

防空作战电磁环境建模与仿真

以防空作战为背景,分析了战场电磁环境的构成要素,在建立各要素脉冲描述字模型的基础上,提出了基于脉冲流描述的电磁环境建模方法,构建了相应的仿真系统,完成了防空作战电磁环境的动态模拟。绘制出典型作战场景下电磁环境时域、频域、功率域的态势图,仿真结果表明电磁环境具有两个显著特点:动态性与相对性。建模仿真方法对战场电磁环境的仿真构建具有一定的借鉴意义。     

灰色理论在确定防空导弹武器系统经济寿命中的应用

针对使用保障费用数据有限的防空导弹武器系统经济寿命的确定问题，根据灰色理论建立了预测模型，并用该方法预测了某一设备的经济寿命，分析结果令人满意。     

带消息恢复的指定接收者的代理盲签名方案

基于离散对数难题,提出了一种具有消息恢复且只有指定接收者才能恢复消息并验证签名的代理盲签名方案.对方案做了安全性分析和计算效率分析,指出方案在满足可验证性、强不可伪造性、不可链接性、保密性等安全性要求的同时具有较高的计算效率,是一个高效安全的代理强盲签名方案.     

防空C~3I系统的实时数据库系统

本文讨论了防空C~3I系统作战实时数据库的数据结构,提出了一套适应作战数据库管理系统的设计思想和算法。简述了数据库系统的设计过程,并分析了数据库系统的实时性和有效性。