a formal model of fair exchange protocols | |
Qing SH ; Li GC | |
刊名 | SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
![]() |
2005 | |
卷号 | 48期号:4页码:499-512 |
关键词 | events local causal relation local temporal relation global relation exchanged item security goals |
ISSN号 | 1009-2757 |
学科主题 | Computer Science, Information Systems |
收录类别 | SCI ; SPRINGER |
语种 | 英语 |
WOS记录号 | WOS:000231865400007 |
公开日期 | 2011-07-28 |
附注 | Based on the study of existing fair exchange protocols, this paper sets up an accurate formal model by stepwise refinement. In the process of refinement an unreliable channel is employed to simulate an attack behavior. The model provides a novel formal definition of exchanged items, and presents the formal goals for fairness, accountability, etc., reflecting the inherent requirements for fair exchange protocols across-the-board. In order to check, prove, and design fair exchange protocols effectively and efficiently, the model puts forward a novel property of abuse-freeness which applies to all fair exchange protocols, gives a formal definition for trust strand of the third party, and presents general criteria of designing a secure and effective fair exchange protocol. Taking a typical fair exchange protocol as an example, this paper presents the analysis steps of fair exchange protocols appealing to our model. An unknown attack is uncovered. The analysis reveals the process of a complete attack, discovering deeper reasons for causing an attack. Finally, we modify the flawed protocol and the revised protocol ensures the desirable properties. |
内容类型 | 期刊论文 |
源URL | [http://124.16.136.157/handle/311060/12538] ![]() |
专题 | 软件研究所_软件所图书馆_期刊论文 |
推荐引用方式 GB/T 7714 | Qing SH,Li GC. a formal model of fair exchange protocols[J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,2005,48(4):499-512. |
APA | Qing SH,&Li GC.(2005).a formal model of fair exchange protocols.SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,48(4),499-512. |
MLA | Qing SH,et al."a formal model of fair exchange protocols".SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES 48.4(2005):499-512. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论