a formal model of fair exchange protocols

ISCAS OpenIR

	a formal model of fair exchange protocols
	Qing SH; Li GC
	2005
发表期刊	SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
ISSN	1009-2757
卷号	48 期号:4 页码:499-512
收录类别	sci ; springer
关键词	Events Local Causal Relation Local Temporal Relation Global Relation Exchanged Item Security Goals
部门归属	Chinese Acad Sci, Inst Software, Engn Res Ctr Informat Secur Technol, Beijing 100080, Peoples R China. Beijing Zhongke Ansheng Corp Informat Technol, Beijing 100080, Peoples R China. Chinese Acad Sci, Grad Sch, Beijing 100039, Peoples R China.
学科领域	Computer Science, Information Systems
语种	英语
WOS记录号	WOS:000231865400007
引用统计	被引频次：3[WOS] [WOS记录] [WOS相关记录]
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/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.