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 Lourenço Caleiro, David Basin
University: Universidade Técnica de Lisboa
Defense date: 6 / 2014
Keywords: