Acta Metallurgica Sinica(English letters) ›› 2009, Vol. 16 ›› Issue (2): 80-83.doi: 10.1016/S1005-8885(08)60207-1

• Information Security • 上一篇    下一篇

Novel analysis and improvement of Yahalom protocol

陈春玲,余瀚,吕恒山,王汝传   

  1. College of Software, Nanjing University of Posts and Telecommunications, Nanjing 210003, China
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-04-30
  • 通讯作者: 陈春玲

Novel analysis and improvement of Yahalom protocol

CHEN Chun-ling, YU Han, LÜ Heng-shan, WANG Ru-chuan   

  1. College of Software, Nanjing University of Posts and Telecommunications, Nanjing 210003, China
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-04-30
  • Contact: CHEN Chun-ling

摘要:

The modified version of Yahalom protocol improved by Burrows, Abradi, and Needham (BAN) still has security drawbacks. This study analyzed such flaws in a detailed way from the point of strand spaces, which is a novel method of analyzing protocol’s security. First, a mathematical model of BAN-Yahalom protocol is constructed. Second, penetrators’ abilities are restricted with a rigorous and formalized definition. Moreover, to increase the security of this protocol against potential attackers in practice, a further improvement is made to the protocol. Future application of this re-improved protocol is also discussed.

关键词:

strand;spaces,;BAN–Yahalom;protocol,;ideal,;minimal;element

Abstract:

The modified version of Yahalom protocol improved by Burrows, Abradi, and Needham (BAN) still has security drawbacks. This study analyzed such flaws in a detailed way from the point of strand spaces, which is a novel method of analyzing protocol’s security. First, a mathematical model of BAN-Yahalom protocol is constructed. Second, penetrators’ abilities are restricted with a rigorous and formalized definition. Moreover, to increase the security of this protocol against potential attackers in practice, a further improvement is made to the protocol. Future application of this re-improved protocol is also discussed.

Key words:

strand spaces;BAN–Yahalom protocol;ideal;minimal element