摘要
密码协议是任何安全系统的基础,对它的设计越来越受到广大用户的关注。本文详细论述了文献[1]提到的一种密码协议,并使用有色Petri网对该协议建模分析,说明该设计的正确性。
Cryptographic protocol is the base of all secure systems. Its design has received more and more care from users. This paper details certain cryptographic protocol proposed in reference [1] and establishes model and makes analysis for the protocol using coloured Petri net, and shows validity of the design.
出处
《现代计算机》
2006年第2期64-67,共4页
Modern Computer
