乐观电子合同签订协议的一种有限状态机模型

摘要：

乐观电子合同签订协议是一类典型的安全协议,用于在两个或多个主体之间公平高效地实现电子合同签订.与其它类型的安全协议相比,乐观电子合同签订协议更为复杂,从而为其形式化分析带来了一定困难.模型检验是一类有效的形式化分析方法,应用模型检测方法分析安全协议时,前提和关键是对协议及其执行环境进行准确和全面的建模.

关键词：电子合同签订协议、乐观公平交换、模型、有限状态机

所属期刊栏目：24

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

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

页数：共5页

页码：27-31