论文部分内容阅读
本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性,串空间模型可以避免状态空间爆炸的问 题,而通过引入改进的BAN逻辑公式,使得协议分析的自动化程度提高了。
BAN逻辑与串空间相结合的安全协议分析方法
【摘 要】
：
本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性,串空间模型可以避免状态空间爆炸的问 题,而通过引入改进的BAN逻辑公式,使得协议分析的自动化程度提高了。
【出 处】
：
信息安全与通信保密
【发表日期】
：
2005年03期
其他文献
Hilbert曲线能够线性填充数据空间,将数据空间分割成大小相等的网格,从而将位于网格中的点映射到线性空间中.本文利用Hilbert曲线的数据聚类性质,提出一种基于Hilbert曲线网
本文介绍了几种CRL分发机制,指出这些机制的优缺点,在此基础上提出了分段式 重叠发布增量CRL证书撤销机制,并进了性能分析比较。该机制能有效地分散CRL库的峰值请 求率和平均负荷,减小信任方所需下载的CRL大小,改善了时间碎片问题和可扩展性问题。
在建筑市场竞争日益加剧的情况下，低价中标成为新常态，加上严格的审计程序，施工企业进入微利时代，如何突破和同，及时办理竣工结算，争取较好收益已成为广大施工企业共同研究的课题，本
椭圆曲线密码体制中一个重要的问题是明文嵌入。本文在目前已知的嵌入算法的基础 上,设计了一种快速、高效的算法,表现为在现实上完全可嵌入并且比目前已知的算法都快,从而完 整的解决了嵌入明文到椭圆曲线上的问题,为椭圆曲线密码体制用于信息加密做了有益的工作。
有个相声段子提到了一类人,叫做损人不利己者,说这类人比损人利己者更让人鄙视。而在如今电子商务蓬勃发展的环境下,还真发生了这样一个损人不利己的故事。某大学学生王小朋,
决策系统中连续属性的离散化,即实型属性空间向整型属性空间的映射,它是对决策表中属性约简的第一步.针对多值决策属性的决策信息系统,提出一种新的属性离散化算法.首先根据
近些年来，我国公路发展非常迅速，随着交通量的日益增加，大量公路已接近设计使用年限或技术状况下降，需要进行大修或改造，现场冷再生技术是比较适宜的维修或改造方式。现场冷再生技
利用MICAPS常规资料和自动站资料,对2008年7月30～31日和8月15～17日发生在河套地区的2次局部暴雨天气过程进行对比分析,结果表明:2次暴雨天气过程的影响系统不同,7月30日是700 h