Jannik Dreier, Rosario Giustolisi, Ali Kassem 0001, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan. Formal Security Analysis of Traditional and Electronic Exams. In Mohammad S. Obaidat, Andreas Holzinger, Joaquim Filipe, editors, E-Business and Telecommunications - 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers. Volume 554 of Communications in Computer and Information Science, pages 294-318, Springer, 2014. [doi]
@inproceedings{DreierG0LLR14,
title = {Formal Security Analysis of Traditional and Electronic Exams},
author = {Jannik Dreier and Rosario Giustolisi and Ali Kassem 0001 and Pascal Lafourcade and Gabriele Lenzini and Peter Y. A. Ryan},
year = {2014},
doi = {10.1007/978-3-319-25915-4_16},
url = {http://dx.doi.org/10.1007/978-3-319-25915-4_16},
researchr = {https://researchr.org/publication/DreierG0LLR14},
cites = {0},
citedby = {0},
pages = {294-318},
booktitle = {E-Business and Telecommunications - 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers},
editor = {Mohammad S. Obaidat and Andreas Holzinger and Joaquim Filipe},
volume = {554},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-319-25914-7},
}