(* Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1996 University of Cambridge *) section ‹Conventional protocols: rely on conventional Message, Event and Public -- Public-key protocols› theory Auth_Public imports NS_Public_Bad NS_Public TLS CertifiedEmail begin end