一种新的安全协议形式化分析方法——证据逻辑

检索

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

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

一种新的安全协议形式化分析方法——证据逻辑

陆　阳;肖军模;刘　晶

New Formal Analysis Method for Security Protocols——Proof Logic

LU Yang; XIAO Jun-mo; LIU Jing

计算机工程 . 2008, (2): 92 -94 . DOI: 10.3969/j.issn.1000-3428.2008.02.030