Modelling and Verification of Secure Exams

Discover a groundbreaking approach to securing examination systems in Modelling and Verification of Secure Exams by Rosario Giustolisi. Published by Springer Nature Switzerland AG in 2019, this insightful paperback spans 133 pages and is a softcover reprint of the original 1st edition from 2018. Giustolisi meticulously explores the various tasks involved in the examination process, addressing the levels of detail and abstraction in exam specifications. He also examines the potential threats posed by different roles within the exam environment. This book is essential for educators, administrators, and anyone interested in enhancing the integrity and security of exam systems. Equip yourself with the knowledge to safeguard assessments and ensure a fair testing experience.