src/HOL/Auth/Guard/Auth_Guard_Public.thy
author wenzelm
Thu Dec 10 21:39:33 2015 +0100 (2015-12-10)
changeset 61830 4f5ab843cf5b
parent 58889 5b7a9633cfa8
child 65538 a39ef48fbee0
permissions -rw-r--r--
isabelle update_cartouches -c -t;
     1 (*  Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     2     Copyright   1996  University of Cambridge
     3 *)
     4 
     5 section \<open>Blanqui's "guard" concept: protocol-independent secrecy\<close>
     6 
     7 theory Auth_Guard_Public
     8 imports
     9   "P1"
    10   "P2"
    11   "Guard_NS_Public"
    12   "Proto"
    13 begin
    14 
    15 end