New Analysis of BAN-Yahalom Protocol by Strand Spaces and Its Improvement
Therere some security flaws in the improvement of Yahalom protocol by BAN. This paper makes a detailed analysis on such flaws from a new angle induced by strand spaces. First, the algebraic model of BAN-Yahalom protocol is established with the help of strand spaces. Subsequently, attackers abilities are defined in an accurate math form. And then new improvement to this protocol is proposed in order to enhance the defensive ability of this protocol against potential attackers, which will make it more adaptable to practical environment. Future application of the improved protocol is also envisioned.
BAN–Yahalom protocol strand spaces minimal element ideal
Yu Han Hengshan Lv
College of Computer Nanjing Univ. of Posts & Telecommunications No.66 Xin MoFan Road, Nanjing, China Dept. of STC Microsoft Research Asia No.49 Zhichun Road, Beijing, China
国际会议
上海
英文
2007-09-21（万方平台首次上网日期，不代表论文的发表时间）