Modelling and Verification of Secure Exams

AvRosario Giustolisi

Häftad, Engelska, 2019

Del i serien Information Security and Cryptography

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

519 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2019-01-04
Mått:155 x 235 x 9 mm
Vikt:242 g
Format:Häftad
Språk:Engelska
Serie:Information Security and Cryptography
Antal sidor:133
Förlag:Springer Nature Switzerland AG
ISBN:9783030097899

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Referensverk och tvärvetenskap inom Samhälle och politik
Hårdvara inom Data och IT

Mer om författaren

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.

Recensioner i media

“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)

Innehållsförteckning

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