Abstract: 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 about possible word of BAN

Key words: BAN-like logic, Modal logic, Formal semantics