基于Petri网的安全协议分析  

作　　者：余道华[1] 黄瑾娉[1] 王振宇[1] 

机构地区：[1]安徽工业大学计算机学院,安徽243003

出　　处：《网络安全技术与应用》2008年第11期9-11,共3页Network Security Technology & Application

摘　　要：安徽工业大学计算机学院安徽243003摘要:本文提出了一种用Petri网对安全协议建模,并通过倒推证明方法与Petri网的可达性矩阵描述来发现协议漏洞的方法。通过对著名的Needham-Schroedor公钥协议建模,然后利用这一方法对协议进行检测,发现了协议存在漏洞。应用结果表明,方法有效。

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

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