Modelling and verification of secure exams
Auteur :
Giustolisi, Rosario
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030097899
Date de publication :
4 janv. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
In this book the author introduces a novel approach to securing exam systems. He describes the tasks that occur during an exam, taking account of the levels of detail and abstraction of an exam specification and the threats that arise out of the different exam roles.