安全协议形式化分析理论与方法研究综述

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

Email Alert RSS English

安全协议形式化分析理论与方法研究综述

冯登国, 范红

Survey on Theories and Methods of Formal Analyses for Security Protocols

Feng Dengguo, Fan Hong

中国科学院大学学报 . 2003, (4): 389 -406 . DOI: 10.7523/j.issn.2095-6134.2003.4.001