10.3969/j.issn.1009-3044.2011.29.035
IBS协议的形式化分析与验证
安全协议的形式化分析方法有许多,但都普遍存在一些问题,该文介绍了一种在CPN模型基础上改进的形式化方法FOCPN,并且利用该方法对IBS协议进行了实验仿真分析,主要针对其不可否认性和可追究性进行了验证,实验结果显示该方法可以有效验证出IBS协议的特性.
形式化分析、FOCPN、IBS协议
7
TP393(计算技术、计算机技术)
2012-03-05(万方平台首次上网日期,不代表论文的发表时间)
共3页
7142-7143,7146