论文部分内容阅读
安全协议的形式化分析方法有许多,但都普遍存在一些问题,该文介绍了一种在CPN模型基础上改进的形式化方法FOCPN,并且利用该方法对IBS协议进行了实验仿真分析,主要针对其不可否认性和可追究性进行了验证,实验结果显示该方法可以有效验证出IBS协议的特性。
IBS协议的形式化分析与验证
【摘 要】
：
安全协议的形式化分析方法有许多,但都普遍存在一些问题,该文介绍了一种在CPN模型基础上改进的形式化方法FOCPN,并且利用该方法对IBS协议进行了实验仿真分析,主要针对其不可
【机 构】
：
兰州交通大学电信学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2011年10X期
其他文献
邮政储蓄银行经过两年多的实践与探索,存贷款规模不断扩大,业务领域不断延伸,经营风险也在不断积累,这对邮政储蓄银行加强风险管理提出了更高的要求。但由于邮政储蓄银行历史
磺胺甲噁唑(sulfamethoxazole,SMX)是一种被广泛使用的抗菌类药物.由于传统的污水处理技术很难有效地降解这类废水,故对电子束这一新型高级氧化技术对磺胺甲噁唑的处理效果以