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