MSc - A Tool and Logic for the Analysis of Security Protocols

Authors

Post-Graduation Jury: José Cardoso e Cunha
Post-Graduation Supervisor: Luis Caires
Post-Graduation by: Bernardo Toninho
Post-Graduation Jury: Ankica Barisic