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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。