| 基于细粒度新鲜性的密码协议分析 |
| |
| 引用本文： | 程正杰,陈克非,来学嘉.基于细粒度新鲜性的密码协议分析[J].北京大学学报(自然科学版),2010,46(5):763-770. |
| |
| 作者姓名： | 程正杰 陈克非 来学嘉 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系, 上海 200240; |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划专项经费项目，国家重点基础研究发展计划项目 |
| |
| 摘 要： | 对新鲜性进行了细粒度的定义, 并将新鲜性和秘密性结合, 完善了基于新鲜性原则的密码协议分析方法。区分了不同主体产生的新鲜性标识符的可信任新鲜性, 并对私有秘密和共享秘密给予了更准确的解释。改进后的基于新鲜性原则的密码协议分析方法能够分析并发现 Helsinki 协议中存在的微妙的安全缺陷。
|
| 关 键 词： | 密码协议 新鲜性 秘密性 |
| 收稿时间： | 2010-05-15 |
Security Analysis of Cryptographic Protocols Based on Fine-Grained Freshness |
| |
| CHENG Zhengjie,CHEN Kefei,LAI Xuejia.Security Analysis of Cryptographic Protocols Based on Fine-Grained Freshness[J].Acta Scientiarum Naturalium Universitatis Pekinensis,2010,46(5):763-770. |
| |
| Authors: | CHENG Zhengjie CHEN Kefei LAI Xuejia |
| |
| Institution: | Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240; |
| |
| Abstract: | Fine-grained definitions of freshness are presented,and both freshness and secrecy are combined to improve the security analysis of cryptographic protocols.Trusted freshness of the nonces generated by different principals are explicitly distinguished.More exact explanations on the private secrecy and shared secrecy are given.The improved method can analyze and find out some existing subtle weaknesses in the Helsinki protocol. |
| |
| Keywords: | cryptographic protocol freshness secrecy |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《北京大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《北京大学学报(自然科学版)》下载免费的PDF全文 |
