1(*  Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
2    Copyright   1996  University of Cambridge
3*)
4
5section \<open>Conventional protocols: rely on conventional Message, Event and Public -- Public-key protocols\<close>
6
7theory Auth_Public
8imports
9  NS_Public_Bad
10  NS_Public
11  TLS
12  CertifiedEmail
13begin
14
15end
16