Biblio

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