| 基于着色petri网的安全协议验证方法 |
| |
| 引用本文： | 刘进,陈丹,肖德宝.基于着色petri网的安全协议验证方法[J].华中师范大学学报(自然科学版),2006,40(3):335-339. |
| |
| 作者姓名： | 刘进 陈丹 肖德宝 |
| |
| 作者单位： | 华中师范大学,计算机科学系,武汉,430079 |
| |
| 摘 要： | 设计安全协议时，协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤，验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析，证明了这种方法的有效性，并根据分析结果给出了改进后的STS协议．
|
| 关 键 词： | 着色petri网 安全协议 STS协议 协议验证 |
| 文章编号： | 1000-1190（2006）03-0335-05 |
| 收稿时间： | 2006-04-23 |
| 修稿时间： | 2006-04-23 |
Analysis of security protocols usiang CP-Nets |
| |
| LIU Jin,CHEN Dan,XIAO Debao.Analysis of security protocols usiang CP-Nets[J].Journal of Central China Normal University(Natural Sciences),2006,40(3):335-339. |
| |
| Authors: | LIU Jin CHEN Dan XIAO Debao |
| |
| Institution: | Department of Computer Science, Central China Normal University, Wuhan 430079 |
| |
| Abstract: | Verification is a crucial step to eliminate weaknesses and inaccuracies of efficrive security protocols. There are many models and tools to verify security protocols. This paper proposed an approach for analysis of security protocol using the CP-Nets. Analyze a STS protocol to proof this approach, and then, modify the STS protocol according to the result. |
| |
| Keywords: | CP-Nets security protocol STS protocol protocol verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《华中师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《华中师范大学学报(自然科学版)》下载免费的PDF全文 |
