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

• 作者: 刘晶 肖军模 陆阳
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全协议 形式化分析 证据逻辑
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 安全技术
• 页码范围: 92-94
• 页数: 3页
• 分类号: TP309
• 字数: 3717字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.02.030

摘要

形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,该文提出一种新的安全协议形式化分析方法--证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析.与现有的方法相比,该方法不仅能够用于认证协议、密钥协商(交换)协议的分析,也能用于电子商务协议的不可否认性和公平性的分析,因此具有更好的通用性和更强的协议分析能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晶	解放军理工大学通信工程学院电子信息工程系	10	21	3.0	4.0
2	肖军模	解放军理工大学通信工程学院电子信息工程系	62	313	10.0	15.0
3	陆阳	解放军理工大学通信工程学院电子信息工程系	12	92	3.0	9.0