Formal Methods for the Analysis of Security Protocols

Publication Type:

Thesis

Source:

Instituto Superior Tėcnico, Universidade Tecnica de Lisboa, Volume PhD Dissertation, Lisbon (2006)
Share/Save