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)
Share/Save