IBS协议的形式化分析与验证
2011-12-31 00:00:00朱朝旭
电脑知识与技术 2011年29期
摘要：安全协议的形式化分析方法有许多，但都普遍存在一些问题，该文介绍了一种在CPN模型基础上改进的形式化方法FOCPN，并且利用该方法对IBS协议进行了实验仿真分析，主要针对其不可否认性和可追究性进行了验证，实验结果显示该方法可以有效验证出IBS协议的特性。
关键词：形式化分析；FOCPN；IBS协议
中图分类号：TP393文献标识码：A文章编号：1009-3044(2011)29-7142-02
Formalization and Verification of IBS Protocol
ZHU Zhao-xu
(Lanzhou Jiaotong Univers
