BAN logic