ZG协议公平性的形式化验证

龚德良; 殷建平; 詹宇斌

首页> 中文期刊> 《计算机科学》 >ZG协议公平性的形式化验证

ZG协议公平性的形式化验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Zhou和Gollmann设计的公平非否认协议(Z&G协议)旨在为电子商务交易的双方提供非否认证据和公平性.提出一种基于状态转换的方法对其公平性进行分析.与以往方法不同,它是一种针对电子商务协议的专门分析工具:用状态转换系统为电子商务系统建模;用基于状态的形式系统描述协议,将协议的信任假设显式表示为协议的一部分.该方法按进程是否背离协议或者背离协议的程度将协议在系统中的执行序列定义为三类模式:遵守型、欺骗型和中断型.验证了Z&G协议在三种模式下的执行序列都满足公平性.

著录项

来源
《计算机科学》 |2008年第9期|76-82|共7页
作者
龚德良; 殷建平; 詹宇斌;
展开▼
作者单位

汀南学院计算机科学系;

郴州423000;

国防科技大学计算机学院;

长沙410073;

国防科技大学计算机学院;

长沙410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
公平性; 状态转换系统; 遵守型; 欺骗型; 中断型;

相似文献

中文文献
外文文献
专利

1. 基于模型检测的区块链智能合约公平性形式化验证 [J] . 肖美华 ,周浩洋 ,朱志亮 . 华东交通大学学报 . 2021,第003期
2. 基于进程代数的Otway-Rees协议的形式化验证 [J] . 蔡雨桐 ,王勇 ,王然然 . 计算机科学 . 2021,第0z1期
3. 基于进程代数的Yahalom协议正确性的形式化验证 [J] . 王然然 ,王勇 ,蔡雨桐 . 计算机科学 . 2021,第0z1期
4. 基于强化学习的安全协议形式化验证优化研究 [J] . 杨锦翔 ,熊焰 ,黄文超 . 计算机工程 . 2021,第012期
5. 一种安全协议的形式化验证方法 [J] . 蒋欢 ,何青 . 电子世界 . 2019,第002期
6. 关于RTP协议与TCP协议友好性与公平性的研究 [C] . 毛志侠 ,谢深泉 ,肖晋 . 第16届全国计算机新科技与教育研讨会 . 2005
7. 基于知识理论的安全协议形式化验证方法的应用——验证对称密钥交换协议 [A] . 罗方跃 . 2006

ZG协议公平性的形式化验证

摘要

著录项

相似文献

相关主题

期刊订阅