Formal Security Analysis of Traditional and Electronic Exams. Dreier, J.; Giustolisi, R.; Kassem, A.; Lafourcade, P.; Lenzini, G.; and Ryan, P. Y. A. In Obaidat, M. S.; Holzinger, A.; and Filipe, J., editors, ICETE (Selected Papers), volume 554, of Communications in Computer and Information Science, pages 294-318, 2014. Springer.
Formal Security Analysis of Traditional and Electronic Exams. [link]Link  Formal Security Analysis of Traditional and Electronic Exams. [link]Paper  bibtex   
@inproceedings{conf/icete/DreierG0LLR14,
  added-at = {2016-01-18T00:00:00.000+0100},
  author = {Dreier, Jannik and Giustolisi, Rosario and Kassem, Ali and Lafourcade, Pascal and Lenzini, Gabriele and Ryan, Peter Y. A.},
  biburl = {http://www.bibsonomy.org/bibtex/22409b3d1cd137130314066fe132770cc/dblp},
  booktitle = {ICETE (Selected Papers)},
  crossref = {conf/icete/2014s},
  editor = {Obaidat, Mohammad S. and Holzinger, Andreas and Filipe, Joaquim},
  ee = {http://dx.doi.org/10.1007/978-3-319-25915-4_16},
  interhash = {ea714a7b3200e8e079faacad86bce2b9},
  intrahash = {2409b3d1cd137130314066fe132770cc},
  isbn = {978-3-319-25914-7},
  keywords = {dblp},
  pages = {294-318},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  timestamp = {2016-01-19T11:39:58.000+0100},
  title = {Formal Security Analysis of Traditional and Electronic Exams.},
  url = {http://dblp.uni-trier.de/db/conf/icete/icete2014.html#DreierG0LLR14},
  volume = 554,
  year = 2014
}
Downloads: 0