Theory Auth_Public

theory Auth_Public
imports NS_Public_Bad NS_Public TLS CertifiedEmail
(*  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