Biblio
Export 1 results:
Filters: Author is Pedro Miguel dos Santos Alves Madeira [Clear All Filters]
Formal Methods for the Analysis of Security Protocols. Vol. PhD Dissertation. Lisbon: Instituto Superior Tėcnico, Universidade Tecnica de Lisboa, 2006.