Cover Image

Modelling and verification of secure exams /

Bibliographic Details
Main Author: Giustolisi, R. (Rosario) (Author)
Corporate Author: EBSCOhost
Format: eBook
Language:English
Published: Cham, Switzerland : Springer, 2018.
Series:Information security and cryptography.
Subjects:
Computer security.
Computer networks > Security measures.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Introduction
  • Preliminaries and Definitions
  • Security Requirements
  • The Huszti-PethÅ‘ Protocol
  • The Remark! Internet-Based Exam
  • The WATA Family
  • Conclusions.