Welcome to Journal of University of Chinese Academy of Sciences，Today is
RSS 中文
Invariant Generation Techniques in Cryptographic Protocol Analysis
FAN Hong, FENG DengGuo, GUO JinGeng
中国科学院大学学报 . 2002, (1): 91 -96 .  DOI: 10.7523/j.issn.2095-6134.2002.1.013

Copyright © Journal of University of Chinese Academy of Sciences

Support by Beijing Magtech Co.ltd support@magtech.com.cn