Analysis and Improvement of the Linear MAKEP protocol

Author

Zhang, Xinglan ; Shao, Dapeng

Author_Institution

Coll. of Comput. Sci. & Technol., Beijing Univ. of Technol., Beijing, China

fYear

2010

fDate

17-19 Dec. 2010

Firstpage

411

Lastpage

414

Abstract

In the process of formal analysis based on strand space model, it is generally based on the assumption that the cryptographic algorithm used in protocol is secure. By introducing an insecure signature algorithm, we extend the penetrator model of strand space and improve the authentication test method based on parameters consistency, and then extend the expression and analysis ability of the strand space method. Making use of the improved method, we analyze the Linear MAKEP protocol proposed by Wong in 2001. The results show that the protocol is not security under the new penetrator model. Consequently, we provide a simple improved mode.

Keywords

cryptographic protocols; digital signatures; authentication test method; cryptographic algorithm; formal analysis; insecure signature algorithm; linear MAKEP protocol; parameter consistency; penetrator model; strand space model; Algorithm design and analysis; Context; Generators; Lattices; Machine learning; Machine learning algorithms; Software algorithms; Linear MAKEP protocol; authentication test; security; strand space model;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Theory and Information Security (ICITIS), 2010 IEEE International Conference on

Conference_Location

Beijing

Print_ISBN

978-1-4244-6942-0

Type

conf

DOI

10.1109/ICITIS.2010.5689583

Filename

5689583