节点文献
基于Petri网的安全协议分析
【摘要】 安徽工业大学计算机学院安徽243003摘要:本文提出了一种用Petri网对安全协议建模,并通过倒推证明方法与Petri网的可达性矩阵描述来发现协议漏洞的方法。通过对著名的Needham-Schroedor公钥协议建模,然后利用这一方法对协议进行检测,发现了协议存在漏洞。应用结果表明,方法有效。
【关键词】 Petri网；
安全协议；
Needham-Schroedor公钥协议；
建模；
- 【文献出处】 网络安全技术与应用 ,Network Security Technology & Application , 编辑部邮箱 ,2008年11期
- 【分类号】TP393.04
- 【下载频次】122