| author | Manuel Eberl <eberlm@in.tum.de> |
| Sat, 30 Nov 2019 13:47:33 +0100 | |
| changeset 71189 | 954ee5acaae0 |
| 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 -- Public-key protocols\<close> theory Auth_Public imports NS_Public_Bad NS_Public TLS CertifiedEmail begin end