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

摘要：

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

关键词：电子合同签订协议、符号模型检验、公平性、无滥用性

所属期刊栏目：41

分类号：TP311(计算技术、计算机技术)

资助基金：广西科学基金

在线出版日期：2005-04-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：161-164