(* Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of Cambridge *) section ‹Blanqui's "guard" concept: protocol-independent secrecy› theory Auth_Guard_Shared imports Guard_OtwayRees Guard_Yahalom begin end