next up previous
Next: The TLS protocol Up: Analyzing the TLS protocol Previous: Analyzing the TLS protocol


During this project I tried to prove the correctness of a networking protocol called TLS. My goal was to find out whether it could be possible for an intruder to get secret information sent between a client and a server. I used Murphi a program that explores the complete state space to find any conditions under which given invariants fail. To do this I had to model the protocol described and specified in an internet draft.

Tim Wellhausen