Creating and sharing knowledge for telecommunications
DEFENDED PHD THESIS

Equivalence properties and probabilistic reasoning in symbolic security protocol analysis

Bruno José Conchinha Montalto
Supervisors: Carlos Manuel Costa Lourenco Caleiro, David Basin
University: Universidade Técnica de Lisboa
Defense date: 6 / 2014
Keywords: