一种可分析保密性与认证性的模态逻辑

检索

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

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

一种可分析保密性与认证性的模态逻辑

赵华伟;秦静

Modal Logic for Analyzing Privacy and Authentication

ZHAO Hua-wei; Qin Jing

计算机工程 . 2007, (20): 30 -33 . DOI: 10.3969/j.issn.1000-3428.2007.20.010