安全协议扩展Petri网模型及检测

摘要：

协议安全性分析是网络安全的一个难题,运用形式方法对协议进行安全分析和检测,找出安全漏洞仍是该领域的研究热点.本文提出了一种新的基于扩展Pebri网的安全协议建模方法,并且使用该方法对经典协议做了建模、分析和检测,构造了攻击模型,证明了这种方法的有效性.

关键词：安全协议、Petri网、模型

所属期刊栏目：23

分类号：TP309(计算技术、计算机技术)

在线出版日期：2007-12-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：59-61