formal analysis and design of multi-party fair exchange protocols

	formal analysis and design of multi-party fair exchange protocols
	Qing SH; Li GC
	2006
发表期刊	SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
ISSN	1009-2757
卷号	49 期号:2 页码:155-174
收录类别	SCI
关键词	Fair Exchange Logical Protocol Formal Model Security Requirement
部门归属	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
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11510
专题	基础软件国家工程研究中心
推荐引用方式 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.