乐观合同签订协议的模型检测分析

• 作者: 周立青 杨晋吉
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 合同签订协议 乐观 模型检测 公平性 有限性
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 安全技术
• 页码范围: 142-144,147
• 分类号: TP309.2
• 字数: 3302字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.07.047

摘要

从ECSl协议和PFH协议出发,研究三轮乐观合同签订协议的结构.利用协议动作序列及条件图建立协议模型,分析三轮协议满足有限性的条件.在此基础上,结合模型检测工具SPIN,对满足有限性的协议结构的公平性进行分析、验证,并给出反例,说明三轮协议不可能同时满足有限性和公平性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨晋吉	华南师范大学计算机学院	30	177	8.0	12.0
2	周立青	华南师范大学计算机学院	1	0	0.0	0.0