安全协议的自动化设计

检索

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

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

安全协议的自动化设计

周雅洁;关焕梅;陈萍;张晶伟

Automatic Design of Security Protocols

ZHOU Ya-jie; GUAN Huan-mei; CHEN Ping; ZHANG Jing-wei

计算机工程 . 2007, (20): 137 -138 . DOI: 10.3969/j.issn.1000-3428.2007.20.047