Formal analysis and design of multi-party fair exchange protocols

被引：0

作者：

Sihan Qing

Gaicheng Li

机构：

[1] Chinese Academy of Sciences,Engineering Research Center for Information Security Technology, Institute of Software

[2] Beijing Zhongke Ansheng Corporation of Information Technology,undefined

[3] Graduate School of the Chinese Academy of Sciences,undefined

来源：

Science in China Series F: Information Sciences | 2006年 / 49卷

关键词：

fair exchange; logical protocol; formal model; security requirement;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange protocols, formally specifies various security requirements which are able to reflect inherent requirements for fair exchange protocols more rigorously, and partition these security requirements with fine granularity. This work helps analyze, debug, and design multi-party fair exchange protocols more effectively and elaborately.

引用

页码：155 / 174

页数：19