论文部分内容阅读
提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是利用逆向状态分析和Petri网的状态可达性分析,判定协议运行过程中可能出现的不安全状态以及这些状态是否可达.通过实例证明了这种方法的有效性.
一种新的安全协议验证方法
【摘 要】
：
提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是利用逆向状态分析和Petri网的状态可达性分析,判定协议运行过程中可能出现的不安全状态以及这
【机 构】
：
中国科学院计算技术研究所软件研究室
【出 处】
：
计算机研究与发展
【发表日期】
：
2003年10期
其他文献
共享不同代理的缓存文件是减少Web通信量和减轻网络瓶颈的重要方法.在分析现有合作式缓存系统的基础上,提出一种基于混合管理的合作式Web缓存系统(HMCS).HMCS采用重定向的方
教育之盛衰关系人才之盛衰，人才之盛衰关系天下之盛衰。对于大学，人们从大楼说到大师，从大师说到大爱……大学能否给学生大爱，主要在于大学能否为学生提供大师。所以，大学的一切财
在国内外容错型神经网络研究的基础上，提出了一种具有容错能力的自适应神经网络FTART4.该算法针对解决多点断路故障容错性的难点，提出了一种独特的增加网络冗余的方法，通过确定
为模拟神经元网络的混沌现象，阐述了相空间重构技术，介绍了由一维可观察量计算系统的最大Lyapunov指数和关联维数的方法.利用Lyapunov指数作判据，构造了3层反馈神经元网络的奇怪