Formal Methods for the Analysis of Security Protocols Publication Type: Thesis Authors: Pedro Miguel dos Santos Alves Madeira Source: Instituto Superior Tėcnico, Universidade Tecnica de Lisboa, Volume PhD Dissertation, Lisbon (2006)
