Rosario Giustolisi

Modelling and Verification of Secure Exams (eBook, PDF)

• Format: PDF

Produktbeschreibung

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

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 133
• Erscheinungstermin: 19. März 2018
• Englisch
• ISBN-13: 9783319671079
• Artikelnr.: 52936501

Autorenporträt

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.

Inhaltsangabe

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

Rezensionen

"This book might be of interest to everyone who wants to learn more about the nature of exams in general, and in particular about how to model and verify them. ... The book provides a good overview of key elements of various types of exams and their corresponding security requirements, leading to a better understanding of exam protocols in general ... . The description of the individual exam protocols is very detailed and easy to follow." (Diego Marmsoler, fmeurope.org, October 29, 2021)