formal analysis and design of multi-party fair exchange protocols

	formal analysis and design of multi-party fair exchange protocols
	Qing SH ; Li GC
刊名	SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
	2006
卷号	49 期号:2 页码:155-174
关键词	fair exchange logical protocol formal model security requirement
ISSN号	1009-2757
学科主题	Computer Science ; Information Systems
收录类别	SCI
公开日期	2011-07-13
附注	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 speci
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/11512]
专题	软件研究所_基础软件国家工程研究中心_期刊论文
推荐引用方式 GB/T 7714	Qing SH,Li GC. formal analysis and design of multi-party fair exchange protocols[J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,2006,49(2):155-174.
APA	Qing SH,&Li GC.(2006).formal analysis and design of multi-party fair exchange protocols.SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,49(2),155-174.
MLA	Qing SH,et al."formal analysis and design of multi-party fair exchange protocols".SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES 49.2(2006):155-174.