Modelling and Verification of Secure Exams - Giustolisi, Rosario; Giustolisi, Rosario (Springer International Publishing : Imprint: Springer, 2018)