doi dblp Certified email with a light on-line trusted third party: design and implementation Martín Abadi | Neal Glew Proceedings of the Eleventh International World Wide Web Conference, WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA