A kind of analysis method of off-line TTP fair non-repudiation protocol | |
Liu, Dongmei ; Qing, Sihan ; Ma, Hengtai ; Li, Shuren | |
刊名 | jisuanji yanjiu yu fazhancomputer research and development
![]() |
2011 | |
英文摘要 | Off-line TTP fair non-repudiation protocols have been studied widely. Compared with on-line TTP fair non-repudiation protocol, off-line TTP fair non-repudiation protocols are analyzed rarely. Off-line TTP fair non-repudiation protocols are often composed by several subprotocols, which are defined as protocol cluster. In this paper, a kind of analysis method of off-line TTP fair non-repudiation protocol is proposed. There are three main points in this paper. Firstly, according to the cluster properties of off-line TTP fair non-repudiation protocol, protocols are instanced. Through instancing, non-repudiation and effectiveness of off-line TTP fair non-repudiation protocol can be analyzed within each single instance. Secondly, as asynchronous communication, sending and receiving actions can not exactly reflect true events of protocol. Through refining the actions of participants, protocols can be represented as the participants' action sequence. And the participants' action sequence can be used to analyze the violation of execution. Thirdly, the time determiner is introduced to express and verify the timeliness property of the protocol. Finally, two off-line TTP fair non-repudiation protocols are analyzed, among which ZG off-line TTP protocol is composed by two subprotocols and CCD off-line TTP protocol is composed by three subprotocols. The results of analysis indicate that ZG off-line TTP protocol is verified, which does not meet timeliness, and CCD off-line TTP protocol is verified which does not meet fairness.; EI; 0; 4; 656-665; 48 |
语种 | 英语 |
内容类型 | 期刊论文 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/411937] ![]() |
专题 | 软件与微电子学院 |
推荐引用方式 GB/T 7714 | Liu, Dongmei,Qing, Sihan,Ma, Hengtai,et al. A kind of analysis method of off-line TTP fair non-repudiation protocol[J]. jisuanji yanjiu yu fazhancomputer research and development,2011. |
APA | Liu, Dongmei,Qing, Sihan,Ma, Hengtai,&Li, Shuren.(2011).A kind of analysis method of off-line TTP fair non-repudiation protocol.jisuanji yanjiu yu fazhancomputer research and development. |
MLA | Liu, Dongmei,et al."A kind of analysis method of off-line TTP fair non-repudiation protocol".jisuanji yanjiu yu fazhancomputer research and development (2011). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论