Giustolisi, Rosario
Modelling and Verification of Secure Exams
1. Introduction
Rosario Giustolisi
2. Preliminaries and Definitions
Rosario Giustolisi
3. Security Requirements
Rosario Giustolisi
4. The Huszti-Pethő Protocol
Rosario Giustolisi
5. The Remark! Internet-Based Exam
Rosario Giustolisi
6. The WATA Family
Rosario Giustolisi
Keywords: Computer Science, Data Structures, Cryptology and Information Theory, Information Systems and Communication Service, Mathematical Logic and Formal Languages, Revision and Exam, Computer Appl. in Administrative Data Processing
- Author(s)
- Giustolisi, Rosario
- Publisher
- Springer
- Publication year
- 2018
- Language
- en
- Edition
- 1
- Series
- Information Security and Cryptography
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783319671079
- Printed ISBN
- 978-3-319-67106-2