Modelling and Verification of Secure Exams

Securing exam systems is necessary to ensure fairness and meritocracy in modern societies

Author introduces a novel approach to securing exam systems

Useful for researchers and graduate students in the areas of information security, in particular protocols

Autorentext
Rosario Giustolisi is an assistant professor at the IT University of Copenhagen. He received his PhD from the University of Luxembourg where he worked on a formal framework for the security analysis of exam protocols and on the design of protocols for computer-assisted and Internet-based exams. As a postdoc at SICS RISE and a member of the Security Lab in Lund, he investigated group-based authentication mechanisms for future 5G networks. His research interests include the modeling and formal analysis of secure network protocols and the sociotechnical security aspects of real-world systems.

Inhalt

Introduction.- Preliminaries and Definitions.- Security Requirements.- The Huszti-Peth Protocol.- The Remark! Internet-Based Exam.- The WATA Family.- Conclusions.