Welcome to Journal of University of Chinese Academy of Sciences,Today is
Formal Model and Security Analysis for Cryptographic Protocols in the Distributed Network Environment
FENG Bin
中国科学院大学学报 . 2002, (3): 306 -310 .  DOI: 10.7523/j.issn.2095-6134.2002.3.013