Key Guessing Drawback in Authentication Protocol Analysis with BAN Logic
Li Xiang · Jisuanji gongcheng · 2006
BAN logic can prove whether a protocol can reach expected target and find some defects in the protocol,which helps the protocol get further improvement.However,this paper points out a drawback of BAN logic analysis in key guessing attacks though proving an authentication protocol with BAN logic.In this case,non-formal methods are needed in the analysis together.