安全认证中的协议组合推导系统

检索

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

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

安全认证中的协议组合推导系统

王惠斌, 祝跃飞

Protocol Composition Deduction System in Security Authentication

WANG Hui-bin1,2, ZHU Yue-fei1

计算机工程 . 2010, (11): 5 -7,10 . DOI: 10.3969/j.issn.1000-3428.2010.11.002