Creating and sharing knowledge for telecommunications
DEFENDED PHD THESIS

Models and Proof Methods for Information Protection

Maxime Emile Gamboni
Supervisors: Carlos Manuel Costa Lourenco Caleiro, António Maria Alarcão Ravara
University: Instituto Superior Técnico
Defense date: 12 / 2010
Keywords: