Buch

---

Übersicht

---

Verlag	:	Springer International Publishing
Buchreihe	:	Information Security and Cryptography
Sprache	:	Englisch
Erschienen	:	04. 01. 2019
Seiten	:	133
Einband	:	Kartoniert
Höhe	:	235 mm
Breite	:	155 mm
Gewicht	:	243 g
ISBN	:	9783030097899
Sprache	:	Englisch

---

Autorinformation

---

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.

Inhaltsverzeichnis

---

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

Pressestimmen

---

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

Deine Buchhandlung

---