摘要
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,
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,
作者
QING Sihan1,2,3 & LI Gaicheng1,3 1. Engineering Research Center for Information Security Technology, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China
2. Beijing Zhongke Ansheng Corporation of Information Technology, Beijing 100080, China
3. Graduate School of the Chinese Academy of Sciences, Beijing 100039, China
基金
This work was supported by the Natural Science Foundation of Beijing (Grant No. 4052016)
the National Natural Science Foundation of China (Grant No. 60573042)
the National Grand Fundamental Research 973 Program of China (Grant No. G 1999035802).