Computer Science ›› 2006, Vol. 33 ›› Issue (3): 89-92.
Previous Articles Next Articles
LIU Jing , YE Xin-Ming （Dept. of Computer Science, Inner Mongolia University, Huhhot 010021）
Online:
Published:
Abstract: Formal specification and verification of network security protocol makes contribution to avoiding protocol designing error or inaccuracy. This paper will model Needham-Schroeder Public-Key Authentication Protocol with Colored Petri Nets, which has strong
Key words: CP-Nets, Protocol specification, Protocol verification, NSPKAP
LIU Jing , YE Xin-Ming （Dept. of Computer Science, Inner Mongolia University, Huhhot 010021）. [J].Computer Science, 2006, 33(3): 89-92.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2006/V33/I3/89
Cited
Home