== BAN logic analysis of the Wide Mouth Frog protocol ==A very simple protocol — the Wide Mouth Frog protocol — allows two agents, A and B, to establish secure communications, using a trusted authentication server, S, and synchronized clocks all around.