Security Analysis of Cryptographic Protocols Based on Fine-Grained Freshness

Acta Scientiarum Naturalium Universitatis Pekinensis

Previous Articles Next Articles

Security Analysis of Cryptographic Protocols Based on Fine-Grained Freshness

CHENG Zhengjie, CHEN Kefei, LAI Xuejia

Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240;

Received:2010-05-15 Online:2010-09-20 Published:2010-09-20

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

程正杰,陈克非,来学嘉

上海交通大学计算机科学与工程系, 上海 200240;

Abstract

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.

Key words: cryptographic protocol, freshness, secrecy

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

关键词: 密码协议, 新鲜性, 秘密性

CLC Number:

TP309

CHENG Zhengjie,CHEN Kefei,LAI Xuejia. Security Analysis of Cryptographic Protocols Based on Fine-Grained Freshness[J]. Acta Scientiarum Naturalium Universitatis Pekinensis.

程正杰,陈克非,来学嘉. 基于细粒度新鲜性的密码协议分析[J]. 北京大学学报（自然科学版）.

[1]	ZHANG Liwei,ZHU Yuesheng,Po Lai-man. A Fast Watermarking Algorithm with Low Complexity Error Compensation in H.264/AVC Bit-Stream [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2013, 49(2): 227-233.
[2]	XU Dongyang,TANG Zhi,YU Yinyan. SDDRM: Toward Segment-Based Dynamic Digital Rights Management in Document Protection [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2012, 48(4): 565-573.
[3]	YOU Juan,XIA Song,LI Junquan. Identity-Based Authenticated Key Agreement Protocols without Bilinear Pairing in Multiple PKG Environments [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2012, 48(2): 223-230.
[4]	GUO Feiwang,ZHANG Xiyong,HAN Wenbao. Several Binomial Functions with Low Differential Uniformity [J]. , 2011, 47(6): 973-977.
[5]	FENG Xue,YU Yinyan,TANG Zhi. Hardware Adaptive Copyright Protection Method for Multiple Devices of End-User [J]. , 2011, 47(6): 1009-1016.
[6]	TIAN Yun,CHEN Gongliang,LI Jianhua. On the Design of Trivium [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(5): 691-698.
[7]	WU Hongfeng,FENG Rongquan,WANG Zilong. Isomorphism Classes of Elliptic Curves with 3-Torsion Point [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(5): 699-703.
[8]	CHEN Yangkui,YU Jia,CHENG Xiangguo,HAO Rong,LIU Hongyan,LI Xin. Verifiable Multi-secret Sharing Scheme Based on Homogeneous Linear Recursion [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(5): 709-714.
[9]	LU Linzhen,CHEN Shaozhen. Two Attacks on 5-Round IDEA [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2010, 46(5): 731-735.
[10]	LIU Yong,CHEN Yu,CHEN Zhong. Optimize Cryptographic Symmetric Primitives Performance [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2008, 44(5): 733-738.
[11]	HAN Xinhui,LONG Qin,SI Duanfeng,ZHUGE Jianwei,YE Zhiyuan. A Practical Hierarchical Key Management Scheme Based on One-Way Hash Function [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2008, 44(4): 527-536.
[12]	ZHU Xinshan,TANG Zhi. Adaptive Watermarking Based on Localized Perceptual Quality Evaluation [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2008, 44(1): 77-86.
[13]	HAN Xinhui,SI Duanfeng,ZOU Wei. A New Adaptive Playout Algorithm Based on E-Model with Packet Loss Dependency Characteristic [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2006, 42(3): 388-394.
[14]	LIU Qiang,MA Fangzhen,TONG Dong,CHENG Xu. Design Features of a High Throughput RSA Cryptoprocessor [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2005, 41(5): 754-763.
[15]	YU Yinyan,TANG Zhi. Hardware Adaptive Copyright Protection Mechanism for Digital Contents [J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2005, 41(5): 800-808.

Security Analysis of Cryptographic Protocols Based on Fine-Grained Freshness

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

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics