sur 7
Modelling and Verification of Secure Exams — Rosario Giustolisi