src/HOL/Auth/Auth_Public.thy
author wenzelm
Mon Aug 31 21:28:08 2015 +0200 (2015-08-31)
changeset 61070 b72a990adfe2
parent 58889 5b7a9633cfa8
child 61830 4f5ab843cf5b
permissions -rw-r--r--
prefer symbols;
     1 (*  Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     2     Copyright   1996  University of Cambridge
     3 *)
     4 
     5 section {* Conventional protocols: rely on conventional Message, Event and Public -- Public-key protocols *}
     6 
     7 theory Auth_Public
     8 imports
     9   "NS_Public_Bad"
    10   "NS_Public"
    11   "TLS"
    12   "CertifiedEmail"
    13 begin
    14 
    15 end