Login

Giustolisi, Rosario

Modelling and Verification of Secure Exams

Giustolisi, Rosario - Modelling and Verification of Secure Exams, ebook

103,00€

Ebook, PDF with Adobe DRM
ISBN: 9783319671079
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Similar titles