| author | paulson <lp15@cam.ac.uk> |
| Wed, 02 Apr 2014 16:34:37 +0100 | |
| changeset 56365 | 713f9b9a7e51 |
| parent 32632 | 8ae912371831 |
| child 58889 | 5b7a9633cfa8 |
| permissions | -rw-r--r-- |
(* Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of Cambridge *) header {* Conventional protocols: rely on conventional Message, Event and Public -- Public-key protocols *} theory Auth_Public imports "NS_Public_Bad" "NS_Public" "TLS" "CertifiedEmail" begin end