期刊文章详细信息
安全协议扩展Petri网模型及检测
Extended Petri Nets Model and Detection of Security Protocols
文献类型：期刊文章
机构地区：[1]贵州大学电信学院,贵阳550003
年 份：2007
卷 号：23
期 号：27
起止页码：59-61
语 种：中文
收录情况：BDHX、BDHX2004、核心刊
摘 要：协议安全性分析是网络安全的一个难题,运用形式方法对协议进行安全分析和检测,找出安全漏洞仍是该领域的研究热点。本文提出了一种新的基于扩展Petri网的安全协议建模方法,并且使用该方法对经典协议做了建摸、分析和检测,构造了攻击模型,证明了这种方法的有效性。
关 键 词：安全协议 PETRI网 模型
分 类 号：TP309]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
