摘要
形式化分析方法由于它简洁性成为网络协议的可靠途径。本文提出用Petri网表示网络安全协议的方法描述现在普遍运行的RSA密码体系,并且对Petri的模型进行可达性分析从而验证了RSA的安全性。
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.
出处
《贵州科学》
2004年第3期80-82,共3页
Guizhou Science
基金
贵州省科学技术基金项目:编号:计字(2001)3071号。
关键词
PETRI
形式化
安全协议
Petri net
formal specification
cryptographic protocol