| 基于Petri网的安全协议形式化分析与验证 |
| |
| 引用本文： | 曾杰,谢晓尧.基于Petri网的安全协议形式化分析与验证[J].贵州科学,2004,22(3):80-82. |
| |
| 作者姓名： | 曾杰 谢晓尧 |
| |
| 作者单位： | 贵州工业大学,计算机科学与技术系,贵州,贵阳,550003;贵州工业大学,计算机科学与技术系,贵州,贵阳,550003 |
| |
| 基金项目： | 贵州省科学技术基金项目:编号:计字(2001)3071号。 |
| |
| 摘 要： | 形式化分析方法由于它简洁性成为网络协议的可靠途径。本文提出用Petri网表示网络安全协议的方法描述现在普遍运行的RSA密码体系,并且对Petri的模型进行可达性分析从而验证了RSA的安全性。
|
| 关 键 词： | petri 形式化 安全协议 |
| 文章编号： | 1003-6563(2004)03-0080-03 |
| 修稿时间： | 2004年3月20日 |
FORMAL SPECIFICATION AND VERIFICATION OF CRYPTOGRAPHIC PROTOCOL ON PETRICNET |
| |
| ZENG Jie,XIE Xiao-yao.FORMAL SPECIFICATION AND VERIFICATION OF CRYPTOGRAPHIC PROTOCOL ON PETRICNET[J].Guizhou Science,2004,22(3):80-82. |
| |
| Authors: | ZENG Jie XIE Xiao-yao |
| |
| Institution: | ZENG Jie,XIE Xiao-yao Department of Computer Science and Engineering,Guizhou University of Technology,Guiyang,Guizhou550005,China |
| |
| Abstract: | Formal method are widely used in protocol analysis for its concision. This paper proposes a Petri net model, presents a method to describe cryptographic protocol, and analyses the security based on this model in the RSA algorithm by using reachability tree. |
| |
| Keywords: | Petri net formal specification cryptographic protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
