On Semantics Model of BAN-like Logic and Flaws in its Syntax Rules
Hong Ling Xie · 2006
For lack of explicit and definite semantics in BAN like logics,their correctness of syntax rules and reasoning is under suspicion.In this paper,a computing model for security protocols is defined.Based on it,semantics model a- bout possible word of BAN like logic is defined conforming with traditional modal logic.And from the viewpoint of se- mantics,some syntax flaws in BAN-like logic are proved.Also,how to construct a new logic or improve BAN-like log- ics is pointed out.