Modelling and Verification of Secure Exams

• Κύριος συγγραφέας: Giustolisi, Rosario (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Information Security and Cryptography,
• Θέματα: 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...

Πίνακας περιεχομένων:

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