Modelling and Verification of Secure Exams

Rosario Giustolisi. Modelling and Verification of Secure Exams. Information Security and Cryptography, Springer, 2018. [doi]

Abstract

Abstract is missing.