Creating and sharing knowledge for telecommunications

DEFENDED PHD THESIS

Model Checking of Quantum Security Protocols

Pedro Alexandre Cardoso Baltazar
Supervisors: Paulo Alexandre Carreira Mateus
University: Instituto Superior Técnico
Defense date: 7 / 2010
Keywords: