FORMAL SPECIFICATION AND VERIFICATION OF CRYPTOGRAPHIC PROTOCOL ON PETRIC NET
Xiaoyao Xie · Guizhou kexue · 2004
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.