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

• 作者: 常亮 缪裕青
• 来源期刊: 桂林电子工业学院学报
• 学科: 工学
• 关键词: 电子合同签订协议 乐观公平交换 模型 有限状态机
• 年，卷（期）: 2004,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 27-31
• 页数: 5页
• 分类号: TP309
• 字数: 4518字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2004.05.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪裕青	桂林电子工业学院计算机系	31	140	8.0	10.0
2	常亮	桂林电子工业学院计算机系	77	450	12.0	17.0