Subject: Computer Science
; Information Systems
Title: formal analysis and design of multi-party fair exchange protocols
Author: Qing SH
; Li GC
Keyword: fair exchange
; logical protocol
; formal model
; security requirement
Source: SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
Issued Date: 2006
Volume: 49, Issue: 2, Pages: 155-174 Indexed Type: SCI
Department: 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.
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/11512
Appears in Collections: 基础软件国家工程研究中心_期刊论文
File Name/ File Size
Content Type
Version
Access
License
Formal+analysis+and+design+of+multi-party+fair+exchange+protocols.pdf (337KB) -- -- 限制开放 -- 联系获取全文
Recommended Citation:
Qing SH,Li GC. formal analysis and design of multi-party fair exchange protocols[J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,2006-01-01,49(2):155-174.