一种新的安全协议验证逻辑及其串空间语义

检索

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

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

一种新的安全协议验证逻辑及其串空间语义

陈莉

New Verification Logic of Security Protocols and Its Strand Space Semantics

CHEN Chi

计算机工程 . 2011, (01): 145 -148 . DOI: 10.3969/j.issn.1000-3428.2011.01.050