We present two examples:
Asymmetric Needham-Schroeder Protocol
Wide Mouthed Frog Protocol