IBS协议的形式化分析与验证

摘要

安全协议的形式化分析方法有许多,但都普遍存在一些问题,该文介绍了一种在CPN模型基础上改进的形式化方法FOCPN,并且利用该方法对IBS协议进行了实验仿真分析,主要针对其不可否认性和可追究性进行了验证,实验结果显示该方法可以有效验证出IBS协议的特性。