电子邮件协议的非否认性形式化分析

• 作者: 崔楠
• 来源期刊: 计算机与信息技术
• 学科: 工学
• 关键词: 电子商务协议 非否认性 SVO逻辑 CMP1协议
• 年，卷（期）: 2009,（5）
• 页码范围: 36-38
• 页数: 3页
• 分类号: TP393.098

摘要

非否认性是考量电子商务协议的重要方面。SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用。本文通过对SVO逻辑分析推理规则进行扩展,将其运用到对电子商务协议的非否认性的验证上,对CMP1进行了形式化分析。形式化分析的结果表明CMP1满足非否认性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	崔楠	贵州大学计算机软件与理论研究所	3	10	2.0	3.0