安全协议形式化混合分析技术的研究与应用

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

付宇;马自堂;王惠芳

Research and Application for Combination Analysis Technology of Security Protocol Formal

FU Yu; MA Zitang; WANG Huifang

计算机工程 . 2006, (17): 222 -224 . DOI: 10.3969/j.issn.1000-3428.2006.17.078