Formal Security Analysis of Traditional and Electronic Exams

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]

Authors

Jannik Dreier

This author has not been identified. Look up 'Jannik Dreier' in Google

Rosario Giustolisi

This author has not been identified. Look up 'Rosario Giustolisi' in Google

Ali Kassem 0001

This author has not been identified. Look up 'Ali Kassem 0001' in Google

Pascal Lafourcade

This author has not been identified. Look up 'Pascal Lafourcade' in Google

Gabriele Lenzini

This author has not been identified. Look up 'Gabriele Lenzini' in Google

Peter Y. A. Ryan

This author has not been identified. Look up 'Peter Y. A. Ryan' in Google