Tag: BAN vs AFG analysis