Tia Helene Firing
Analysis of the Transport Layer Security protocol
Trondheim, June 2010
Mas ter's thesis
NTNU Norwegian University of Science and Technology Faculty of Information Technology, Mathematics and Electrical Engineering Department of Mathematical Sciences