Modelling and Verification of Secure Exams

Häftad, Engelska, 2019

Av Rosario Giustolisi

689 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

689 kr

Skickas inom 10-15 vardagar

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

Utgivningsdatum2019-01-04
Mått155 x 235 x 9 mm
Vikt242 g
FormatHäftad
SpråkEngelska
SerieInformation Security and Cryptography
Antal sidor133
FörlagSpringer Nature Switzerland AG
ISBN9783030097899

Tillhör följande kategorier

Tillämpad datateknik inom Data och it
Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it
Hårdvara inom Data och it
Referensverk och tvärvetenskap inom Samhalle och politik
Studieteknik och inlärningsförmåga inom Psykologi och pedagogik

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.

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