Formal Methods for the Analysis of Security Protocols. Vol. PhD Dissertation. Lisbon: Instituto Superior T?cnico, Universidade Tecnica de Lisboa, 2006.