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

An Method of Checking Security Protocols Based on CPN Models

作　　者：吴瑞龙[1] 李陶深[1] 

机构地区：[1]广西大学计算机与电子信息学院,广西南宁530004

出　　处：《微电子学与计算机》2006年第3期160-164,共5页Microelectronics & Computer

基　　金：国家自然科学基金项目(90104028);广西留学回国人员科学基金项目(桂科回0342001);广西科技攻关基金项目(桂科攻033008-9)

摘　　要：提出了一种用有色Petri网对安全协议建模,并通过模拟和对状态空间检测来发现协议漏洞的方法。利用这一方法对著名的Needham-Schroedor公钥协议建模,然后用CPNTools实现并对协议进行检测,发现了协议存在的漏洞。应用结果表明,方法有效。In this paper,we proposed a method which can check flaws in colored petri nets models of security protocols by simulating nets and state space analyse. We use this method to model the well-known Neodham-Schroodor Public Key Protocol, execute this model by CPN Tools and found a flow in this protocol. Application result shows that the method is efficient.

关 键 词：有色PETRI网 CPN TOOLS 安全协议 Needham-Schroedor公钥协议 建模 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]