| 安全协议扩展Petri网模型及检测 |
| |
| 引用本文： | 梅翀,孟传良,张成宇. 安全协议扩展Petri网模型及检测[J]. 微计算机信息, 2007, 23(27): 59-61 |
| |
| 作者姓名： | 梅翀 孟传良 张成宇 |
| |
| 作者单位： | 贵州大学电信学院,贵阳,550003 |
| |
| 摘 要： | 协议安全性分析是网络安全的一个难题,运用形式方法对协议进行安全分析和检测,找出安全漏洞仍是该领域的研究热点。本文提出了一种新的基于扩展Petri网的安全协议建模方法,并且使用该方法对经典协议做了建摸、分析和检测,构造了攻击模型,证明了这种方法的有效性。
|
| 关 键 词： | 安全协议 Petri网 模型 |
| 文章编号： | 1008-0570（2007）09-3-0059-03 |
| 修稿时间： | 2007-08-03 |
Extended Petri Nets Model and Detection of Security Protocols |
| |
| MEI CHONG,MENG CHUANLIANG,ZHANG CHENGYU. Extended Petri Nets Model and Detection of Security Protocols[J]. Control & Automation, 2007, 23(27): 59-61 |
| |
| Authors: | MEI CHONG MENG CHUANLIANG ZHANG CHENGYU |
| |
| Affiliation: | College of Information Engineering,Guizhou University,Guiyang 550003,China |
| |
| Abstract: | It is a hard problem to verify whether a security protocol is secure or not. Using formal methods to analyze protocols remains the key issue in this field. This paper proposes a new formal method in security protocol verification based on the extendedPetri Nets . Then analyzes the classical security protocol and the model of attacker is established using this method. The efficiency ofthis method is proved. |
| |
| Keywords: | security protocol Petri Nets model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
