Creating and sharing knowledge for telecommunications

DEFENDED PHD THESIS

Formal Methods for the Analysis of Security Protocols

Pedro Miguel dos Santos Alves Madeira Adão
Supervisors: Paulo Alexandre Carreira Mateus, Andre Scedrov
University: Instituto Superior Técnico
Defense date: 12 / 2006
Keywords: