基于有色Petri网模型的安全协议检测方法

摘要

提出了一种用有色Petri网对安全协议建模,并通过模拟和对状态空间检测来发现协议漏洞的方法。利用这一方法对著名的Needham-Schroedor公钥协议建模,然后用CPNTools实现并对协议进行检测,发现了协议存在的漏洞。应用结果表明,方法有效。