Institutional Repository
| formal analysis and design of multi-party fair exchange protocols | |
| Qing SH; Li GC | |
| 2006 | |
| Source | SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
 |
| ISSN | 1009-2757 |
| Volume | 49Issue:2Pages:155-174 |
| Indexed Type | SCI |
| Keyword | Fair Exchange Logical Protocol Formal Model Security Requirement |
| 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. |
| Subject | Computer Science ; Information Systems |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11514 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| Formal+analysis+and+（337KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment