rel="stylesheet">
Creating and sharing knowledge in communications and information technology
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: