Formal security analysis of traditional and electronic exams

Thumbnail
Metadata only
Author
Dreier, Jannik
Giustolisi, Rosario
Kassem, Ali
Lafourcade, Pascal
Lenzini, Gabriele
Ryan, Peter Y.A.
Show all
Date
2015
Type
    Conference Paper
Publication status
published
External links
Editor
Obaidat, Mohammad S.
Holzinger, Andreas
Filipe, Joaquim
Book title
E-Business and Telecommunications. 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers
Journal / series
Communications in Computer and Information Science
Volume
554
Pages / Article No.
294 - 318
Publisher
Springer
Event
11th International Joint Conference on E-Business and Telecommunications (ICETE 2014), Vienna, Austria, August 28-30, 2014
Subject
Electronic exams; Formal verification; Authentication; Privacy; Applied Pi-Calculus; ProVerif
More
Show all metadata
Citations
Cited 2 times in Scopus
ETH Bibliography
yes
Altmetrics