论文部分内容阅读
安全协议的形式化分析方法有许多,但都普遍存在一些问题,该文介绍了一种在CPN模型基础上改进的形式化方法FOCPN,并且利用该方法对IBS协议进行了实验仿真分析,主要针对其不可否认性和可追究性进行了验证,实验结果显示该方法可以有效验证出IBS协议的特性。
IBS协议的形式化分析与验证
【摘 要】
：
安全协议的形式化分析方法有许多,但都普遍存在一些问题,该文介绍了一种在CPN模型基础上改进的形式化方法FOCPN,并且利用该方法对IBS协议进行了实验仿真分析,主要针对其不可
【机 构】
：
兰州交通大学电信学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2011年10X期
其他文献
邮政储蓄银行经过两年多的实践与探索,存贷款规模不断扩大,业务领域不断延伸,经营风险也在不断积累,这对邮政储蓄银行加强风险管理提出了更高的要求。但由于邮政储蓄银行历史
目的：提高护理质量及患者满意度。方法：对全科护理人员进行理论学习和实践训练，使护士从意识到行为注重细节护理。结果：93．2％患者信任护士，认为护士值得信赖和依靠：护患关系更为融洽，
本文阐述了信息素养的概念及内容,分析了当前医务人员信息素养的现状,从加强医院信息化建设、培养和启发医务人员的信息意识及信息能力、加强自身素质教育、提高医院图书馆员
磺胺甲噁唑(sulfamethoxazole,SMX)是一种被广泛使用的抗菌类药物.由于传统的污水处理技术很难有效地降解这类废水,故对电子束这一新型高级氧化技术对磺胺甲噁唑的处理效果以