运用ASM描述安全协议

欢迎访问中国科学院大学学报，今天是

Email Alert RSS English

运用ASM描述安全协议

薛锐, 冯登国

Specifying Security Protocols with ASM

XUE Rui, FENG Deng-Guo

中国科学院大学学报 . 2002, (3): 263 -270 . DOI: 10.7523/j.issn.2095-6134.2002.3.007