Modelling and Verification of Secure Exams

• Main Author: Giustolisi, Rosario (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Information Security and Cryptography,
• Subjects: Data structures (Computer science).; Computers.; Mathematical logic.; Test-taking skills.; Application software.; Data Structures and Information Theory.; Information Systems and Communication Service.; Mathematical Logic and Formal Languages.; Revision and Exam.; Computer Appl. in Administrative Data Processing.

In this book the author introduces a novel approach to securing exam systems. He provides an in-depth understanding, useful for studying the security of exams and similar systems, such as public tenders, personnel selections, project reviews, and conference management systems. After a short chapter...

Table of Contents:

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