[Lecture Notes in Computer Science] Advances in Cryptology — AUSCRYPT '92 Volume 718 || Modelling and analyzing cryptographic protocols using Petri nets

• 作者Seberry, Jennifer; Zheng, Yuliang
• 文件大小1296.61KB
• 发表时间1993
• DOI10.1007/3-540-57220-1_69
• 页码275-295