Title :
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
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;
Conference_Titel :
Information Theory and Information Security (ICITIS), 2010 IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-6942-0
DOI :
10.1109/ICITIS.2010.5689583