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]
Abstract is missing.