基于同态的安全协议攻击及其形式化验证

检索

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

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

基于同态的安全协议攻击及其形式化验证

韩继红;周志勇;郭渊博;王亚弟

Attack on Security Protocol Based on Homomorphism and Its Formal Verification

HAN Ji-hong; ZHOU Zhi-yong; GUO Yuan-bo; WANG Ya-di

计算机工程 . 2009, (7): 144 -146, . DOI: 10.3969/j.issn.1000-3428.2009.07.049