排序方式: 共有67条查询结果,搜索用时 15 毫秒
1.
现有的基于口令的群密钥交换协议大都借助分组密码算法和Hash函数确保协议的安全性. 本文仅借助Hash函数,构造了一种高效、可证明安全的协议. 该协议在随机预言模型下是语义安全的,并能对抗离线字典攻击. 与相关工作比较,本文设计的协议具有更高的计算效率. 相似文献
2.
3.
王立斌 《江西教育学院学报》2012,33(5):175-181
鹅湖书院的藏书事业始自南宋,至清代蔚为大观。通过对鹅湖书院藏书事业的考述,对于进一步厘清鹅湖书院的历史与文化,进一步深入开展鹅湖书院研究有一定的意义。 相似文献
4.
物理化学演示实验课件的设计与制作 总被引:1,自引:0,他引:1
本介绍了Flash软件的优点;并简单介绍了应用Flash软件制作物理化学课件. 相似文献
5.
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具. 相似文献
6.
跟单信用证结算方式分析 总被引:1,自引:0,他引:1
入世以来,中国外贸业务取得了突飞猛进的发展,同时在国际贸易结算领域也遇到了一些新的问题。信用证是我国对外贸易中最广泛使用的一种结算方式,在国际贸易中,对跟单信用证结算中的风险有足够的认识,如何有效地避免结算中的风险至关重要。 相似文献
7.
现有的基于口令的群密钥交换协议大都借助分组密码算法和Hash函数确保协议的安全性. 本文仅借助Hash函数,构造了一种高效、可证明安全的协议. 该协议在随机预言模型下是语义安全的,并能对抗离线字典攻击. 与相关工作比较,本文设计的协议具有更高的计算效率. 相似文献
8.
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具. 相似文献
9.
经过40多年的艰苦卓绝的发展历程.大庆之所以由当初的以松基三井喷出滚滚的工业油流为标志的石油会战的成功,发展成为一个以石油、石油化工为产业主体.以电子、制药、特种建材、乳业、农副产品深加工等为新兴高新技术产业群的现代化城市.正是以为有铁人精神的巨大的精神力量推动的结果。铁人精神是大庆可持续发展的内在动力。 相似文献
10.