基于细粒度新鲜性的密码协议分析  

Security Analysis of Cryptographic Protocols Based on Fine-Grained Freshness

作　　者：程正杰[1] 陈克非[1] 来学嘉[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200240

出　　处：《北京大学学报（自然科学版）》2010年第5期763-770,共8页Acta Scientiarum Naturalium Universitatis Pekinensis

基　　金：国家自然科学基金(60973111;60903189);国家高技术研究发展计划专项经费(2009AA01Z418);国家重点基础研究发展计划项目(2007CB311201)资助

摘　　要：对新鲜性进行了细粒度的定义,并将新鲜性和秘密性结合,完善了基于新鲜性原则的密码协议分析方法。区分了不同主体产生的新鲜性标识符的可信任新鲜性,并对私有秘密和共享秘密给予了更准确的解释。改进后的基于新鲜性原则的密码协议分析方法能够分析并发现Helsinki协议中存在的微妙的安全缺陷。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.

关 键 词：密码协议 新鲜性 秘密性 

分 类 号：TN918.1[电子电信—通信与信息系统]