一种分析安全协议的新逻辑

检索

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

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

一种分析安全协议的新逻辑

刘英杰;姚正安

New Logic for Analyzing Security Protocols

LIU Ying-jie; YAO Zheng-an

计算机工程 . 2007, (23): 163 -166 . DOI: 10.3969/j.issn.1000-3428.2007.23.057