电子合同签订协议的符号模型检验分析

• 作者: 古天龙 常亮 郭云川
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 电子合同签订协议 符号模型检验 公平性 无滥用性
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 161-164
• 页数: 4页
• 分类号: TP311
• 字数: 4743字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.01.050

摘要

与密钥分发和认证协议相比,电子合同签订协议的形式化分析遇到了新的挑战.以Asokan、Shoup和Waidner提出的乐观合同签订协议为例,在对协议进行建模以及对相应的安全性质进行形式化描述的基础上,用符号模型检验器SMV对公平性、适时性和无滥用性进行了分析,检测出了相关的缺陷.表明了用SMV对电子合同签订协议进行符号模型分析的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	郭云川	桂林电子工业学院计算机系	25	119	8.0	10.0
3	常亮	桂林电子工业学院计算机系	77	450	12.0	17.0