|
|||||
|
|
| 一种离线TTP公平非否认协议的安全性分析方法 | |
| 引用本文： | 刘冬梅,卿斯汉,马恒太,李树仁.一种离线TTP公平非否认协议的安全性分析方法[J].计算机研究与发展,2011,48(4). |
| 作者姓名： | 刘冬梅 卿斯汉 马恒太 李树仁 |
| 作者单位： | 1. 中国科学院软件研究所基础软件国家工程研究中心,北京,100190;中国科学院研究生院,北京,100049 2. 中国科学院软件研究所基础软件国家工程研究中心,北京,100190;北京大学软件与微电子学院,北京,102600 3. 中国科学院综合信息技术国家级重点实验室,北京,100190 4. 中国科学院计算机网络信息中心,北京,100190 |
| 基金项目： | 国家自然科学基金，国家科技支撑计划重点项目，中国科学院知识创新工程重要项目 |
| 摘 要： | 给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足. |
| 关 键 词： | 离线TTP 公平非否认协议 公平性 非否认性 时效性 |
A Kind of Analysis Method of Off-Line TTP Fair Non-Repudiation Protocol |
|
| Liu Dongmei,Qing Sihan,Ma Hengtai,Li Shuren.A Kind of Analysis Method of Off-Line TTP Fair Non-Repudiation Protocol[J].Journal of Computer Research and Development,2011,48(4). | |
| Authors: | Liu Dongmei Qing Sihan Ma Hengtai Li Shuren |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |