changeset 32632 | 8ae912371831 |
parent 28098 | c92850d2d16c |
child 58889 | 5b7a9633cfa8 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/HOL/Auth/Guard/Auth_Guard_Shared.thy Mon Sep 21 15:33:40 2009 +0200 @@ -0,0 +1,13 @@ +(* Author: Lawrence C Paulson, Cambridge University Computer Laboratory + Copyright 1996 University of Cambridge +*) + +header {* Blanqui's "guard" concept: protocol-independent secrecy *} + +theory Auth_Guard_Shared +imports + "Guard_OtwayRees" + "Guard_Yahalom" +begin + +end