| author | Fabian Huch <huch@in.tum.de> |
| Mon, 13 Nov 2023 17:48:11 +0100 | |
| changeset 78975 | 4a5d35b35aeb |
| parent 65538 | a39ef48fbee0 |
| permissions | -rw-r--r-- |
(* Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of Cambridge *) section \<open>Conventional protocols: rely on conventional Message, Event and Public -- Shared-key protocols\<close> theory Auth_Shared imports NS_Shared Kerberos_BAN Kerberos_BAN_Gets KerberosIV KerberosIV_Gets KerberosV OtwayRees OtwayRees_AN OtwayRees_Bad OtwayReesBella WooLam Recur Yahalom Yahalom2 Yahalom_Bad ZhouGollmann begin end