Rosario Giustolisi

eBook, PDF

Modelling and Verification of Secure Exams (eBook, PDF)

Beschreibung

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

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 1.53MB

Barrierefreiheit

• Text-to-Speech

Autor

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.

Produktdetails

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

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)