| 基于颜色Petri网的密码协议的分析 |
| |
| 引用本文： | 袁志祥,蒋昌俊,叶红.基于颜色Petri网的密码协议的分析[J].安徽工业大学学报,2002,19(4):319-324. |
| |
| 作者姓名： | 袁志祥 蒋昌俊 叶红 |
| |
| 作者单位： | [1]安徽工业大学计算机学院，安徽马鞍山243002 [2]同济大学计算机系，上海200092 |
| |
| 摘 要： | 密码协议的成功设计是安全领域的关键问题之一，对密码协议进行形式化分析成为当前研究的热点，通过引入颜色Petri网来描述密码协议，并以TMN协议为例，利用Petri网的状态矩阵分析特性对其进行分析，发现并验证TMN协议的安全缺。最终说明利用Petri网分析密码协议是可行的。
|
| 关 键 词： | 颜色Petri网 密码协议 TMN协议 密码算法 形式化分析 计算机网络 网络安全 |
| 文章编号： | 1671-7872(2002)04-0319-06 |
| 修稿时间： | 2002年5月8日 |
Analysis of cryptographic protocol based on coloured Petri nets |
| |
| YUAN Zhi -xiang ,JIANG Chang -jun ,YE Hong.Analysis of cryptographic protocol based on coloured Petri nets[J].Journal of Anhui University of Technology,2002,19(4):319-324. |
| |
| Authors: | YUAN Zhi -xiang JIANG Chang -jun YE Hong |
| |
| Affiliation: | YUAN Zhi -xiang 1,2,JIANG Chang -jun 1,YE Hong 2 |
| |
| Abstract: | One important problem in the securit y fields of computer systems is that t he design of cryptographic protocol is successful.Currently f ormal analysis approaches for crypt ographic protocols are being studie d aggres-sively.The concept of coloured Petr i nets is introduced and the cryptographic protocol using it is specified.The TMN protocol is analyzed using incid ence matrix and state equation of Petri nets,then security flaws of TMN protocol are found and verified.So t he new method of cryptographic proto col analysis based on coloured Petri nets is feasible. |
| |
| Keywords: | coloured Petri nets cryptographi c protocol cryptographic analysis |
| 本文献已被 CNKI 维普 等数据库收录！ |
