Summary of results

daTac

 
Protocol
Execution time
Flaw
Andrew Secure RPC 14 s Authentication
Denning Sacco Symmetric Key Protocol 6 s Authentication
Denning Sacco Key Distribution with Public Key 57 s Authentication
Encrypted Key Exchange 6 s Authentication
ISO Symmetric Key One-Pass Unilateral Authentication Protocol 4 s Authentication
ISO Symmetric Key Two-Pass Mutual Authentication Protocol 14 s Authentication
ISO One-Pass Unilateral Authentication Protocol with CCFs 1 s Authentication
ISO Two-Pass Mutual Authentication Protocol with CCFs 15 s Authentication
ISO Public Key One-Pass Unilateral Authentication Protocol 9 s Authentication
ISO Public Key Two-Pass Mutual Authentication Protocol 38 s Authentication
Kehne Langendorfer Schoenewalder 24 s Correspondence Flaw
Kao Chow (unamended) 4 s Authentication
Needham Schroeder Signature Protocol 18 s Authentication
Needham Schroeder Conventional Key Protocol 20 s Compromised Key/Authentication
Needham Schroeder Public Key Protocol  7 s Authentication
Neumann-Stubblebine (initial part) 3 s Authentication
Otway Rees Protocol * 12 s Authentication
RSA protocol * 5 s Secrecy Flaw
SPLICE (Intruder impersonates client) 6s Authentication
SPLICE (Intruder impersonates server) 9s Authentication
SPLICE/AS Authentication Protocol 13 s Authentication
Hwang and Chen's modified SPLICE/AS Authentication Protocol 31 s Authentication
Davis Swick Private Key Certificates, Protocol 1 32 s Authentication
Davis Swick Private Key Certificates, Protocol 2 1073 s Authentication
Davis Swick Private Key Certificates, Protocol 3 6 s Authentication
Davis Swick Private Key Certificates, Protocol 4 80 s Authentication
TMN (compromised key flaw) 138 s Short Term Secrecy Flaw
TMN (authentication flaw)
40s
Authentication
Woo and Lam Mutual Authentication Protocol 400 s Authentication
Woo and Lam Authentication Protocol Pi 1 4 s Authentication
Woo and Lam Authentication Protocol Pi 2 3 s Authentication
Woo and Lam Authentication Protocol Pi 3 3 s Authentication
Woo and Lam Authentication Protocol Pi 3 s Authentication

* Requires hand editing.

 

  - In red : Timings of new handled protocols.
    - Bold: Enhanced timings.
Last update: 15-10-02