安全协议分析的界——综合模型检查与Strand Spaces(英文)

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

Email Alert RSS English

刘怡文, 李伟琴

Some Bounds on Security Protocol Analysis——Combining Model Checking and Strand Spaces

LIU Yi-Wen, LI Wei-Qin

中国科学院大学学报 . 2002, (3): 288 -294 . DOI: 10.7523/j.issn.2095-6134.2002.3.011