{"_id":"ocR2YdZLMfsSixZpZ","bibbaseid":"dreier-giustolisi-kassem-lafourcade-lenzini-ryan-formalsecurityanalysisoftraditionalandelectronicexams-2014","downloads":0,"creationDate":"2016-02-09T05:23:27.158Z","title":"Formal Security Analysis of Traditional and Electronic Exams.","author_short":["Dreier, J.","Giustolisi, R.","Kassem, A.","Lafourcade, P.","Lenzini, G.","Ryan, P. Y. A."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Peter Bryner?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-18T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Dreier"],"firstnames":["Jannik"],"suffixes":[]},{"propositions":[],"lastnames":["Giustolisi"],"firstnames":["Rosario"],"suffixes":[]},{"propositions":[],"lastnames":["Kassem"],"firstnames":["Ali"],"suffixes":[]},{"propositions":[],"lastnames":["Lafourcade"],"firstnames":["Pascal"],"suffixes":[]},{"propositions":[],"lastnames":["Lenzini"],"firstnames":["Gabriele"],"suffixes":[]},{"propositions":[],"lastnames":["Ryan"],"firstnames":["Peter","Y.","A."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/22409b3d1cd137130314066fe132770cc/dblp","booktitle":"ICETE (Selected Papers)","crossref":"conf/icete/2014s","editor":[{"propositions":[],"lastnames":["Obaidat"],"firstnames":["Mohammad","S."],"suffixes":[]},{"propositions":[],"lastnames":["Holzinger"],"firstnames":["Andreas"],"suffixes":[]},{"propositions":[],"lastnames":["Filipe"],"firstnames":["Joaquim"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/icete/DreierG0LLR14,\n added-at = {2016-01-18T00:00:00.000+0100},\n author = {Dreier, Jannik and Giustolisi, Rosario and Kassem, Ali and Lafourcade, Pascal and Lenzini, Gabriele and Ryan, Peter Y. A.},\n biburl = {http://www.bibsonomy.org/bibtex/22409b3d1cd137130314066fe132770cc/dblp},\n booktitle = {ICETE (Selected Papers)},\n crossref = {conf/icete/2014s},\n editor = {Obaidat, Mohammad S. and Holzinger, Andreas and Filipe, Joaquim},\n ee = {http://dx.doi.org/10.1007/978-3-319-25915-4_16},\n interhash = {ea714a7b3200e8e079faacad86bce2b9},\n intrahash = {2409b3d1cd137130314066fe132770cc},\n isbn = {978-3-319-25914-7},\n keywords = {dblp},\n pages = {294-318},\n publisher = {Springer},\n series = {Communications in Computer and Information Science},\n timestamp = {2016-01-19T11:39:58.000+0100},\n title = {Formal Security Analysis of Traditional and Electronic Exams.},\n url = {http://dblp.uni-trier.de/db/conf/icete/icete2014.html#DreierG0LLR14},\n volume = 554,\n year = 2014\n}\n\n","author_short":["Dreier, J.","Giustolisi, R.","Kassem, A.","Lafourcade, P.","Lenzini, G.","Ryan, P. Y. A."],"editor_short":["Obaidat, M. S.","Holzinger, A.","Filipe, J."],"key":"conf/icete/DreierG0LLR14","id":"conf/icete/DreierG0LLR14","bibbaseid":"dreier-giustolisi-kassem-lafourcade-lenzini-ryan-formalsecurityanalysisoftraditionalandelectronicexams-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-25915-4_16","Paper":"http://dblp.uni-trier.de/db/conf/icete/icete2014.html#DreierG0LLR14"},"keyword":["dblp"],"downloads":0},"search_terms":["formal","security","analysis","traditional","electronic","exams","dreier","giustolisi","kassem","lafourcade","lenzini","ryan"],"keywords":["dblp"],"authorIDs":[],"dataSources":["R7Sibxa4rHybrdx8J"]}