Formal Methods for Information Security

Password-Authenticated Connection Establishment (PACE)

1.1 Challenge Response Protocol

Off-the-Record Protocol (OTR)