DocumentCode :
2106625
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
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
Link To Document :
بازگشت