{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:14:12Z","timestamp":1748751252374,"version":"3.41.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319259147"},{"type":"electronic","value":"9783319259154"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25915-4_16","type":"book-chapter","created":{"date-parts":[[2015,12,29]],"date-time":"2015-12-29T09:43:45Z","timestamp":1451382225000},"page":"294-318","source":"Crossref","is-referenced-by-count":0,"title":["Formal Security Analysis of Traditional and Electronic Exams"],"prefix":"10.1007","author":[{"given":"Jannik","family":"Dreier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Giustolisi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Kassem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Lafourcade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Lenzini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Y. A.","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,30]]},"reference":[{"key":"16_CR1","unstructured":"Hjeltnes, T., Hansson, B.: Cost effectiveness and cost efficiency in e-learning. In: QUIS - Quality, Interoperability and Standards in e-learning, Norway (2005)"},{"key":"16_CR2","series-title":"Advances in Information Security","volume-title":"Security in E-Learning","author":"E Weippl","year":"2005","unstructured":"Weippl, E.: Security in E-Learning. Advances in Information Security, vol. 6. Springer Science + Business Media, Heidelberg (2005)"},{"key":"16_CR3","unstructured":"Copeland, L.: School cheating scandal shakes up atlanta (2013). http:\/\/www.usatoday.com\/story\/news\/nation\/2013\/04\/13\/atlanta-school-cheatring-race\/2079327\/"},{"key":"16_CR4","unstructured":"Watson, R.: Student visa system fraud exposed in BBC investigation (2014). http:\/\/www.bbc.com\/news\/uk-26024375"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: POPL, pp. 104\u2013115. ACM (2001)","DOI":"10.1145\/373243.360213"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: CSFW, pp. 82\u201396. IEEE Computer Society (2001)","DOI":"10.1109\/CSFW.2001.930138"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2007.06.002","volume":"75","author":"B Blanchet","year":"2008","unstructured":"Blanchet, B., Abadi, M., Fournet, C.: Automated verification of selected equivalences for security protocols. J. Log. Algebr. Program. 75, 3\u201351 (2008)","journal-title":"J. Log. Algebr. Program."},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"299","DOI":"10.5486\/PMD.2010.4682","volume":"77","author":"A Huszti","year":"2010","unstructured":"Huszti, A., Peth\u0151, A.: A secure electronic exam system. Publicationes Mathematicae Debrecen 77, 299\u2013312 (2010)","journal-title":"Publicationes Mathematicae Debrecen"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/978-3-319-12400-1_5","volume-title":"Security Protocols XXII","author":"R Giustolisi","year":"2014","unstructured":"Giustolisi, R., Lenzini, G., Ryan, P.Y.A.: Remark!: a secure protocol for remote exams. In: Christianson, B., Malcolm, J., Maty\u00e1\u0161, V., \u0160venda, P., Stajano, F., Anderson, J. (eds.) Security Protocols 2014. LNCS, vol. 8809, pp. 38\u201348. Springer, Heidelberg (2014)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Dreier, J., Giustolisi, R., Kassem, A., Lafourcade, P., Lenzini, G., Ryan, P.Y.A.: Formal analysis of electronic exams. In: SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, pp. 101\u2013112. SciTePress (2014)","DOI":"10.5220\/0005050901010112"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Castell\u00e0-Roca, J., Herrera-Joancomart\u00ed, J., Dorca-Josa, A.: A secure e-exam management system. In: ARES. IEEE Computer Society (2006)","DOI":"10.1109\/ARES.2006.14"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Herrera-Joancomart\u00ed, J., Prieto-Bl\u00e1zquez, J., Castell\u00e0-Roca, J.: A secure electronic examination protocol using wireless networks. In: ITCC, vol. 2. IEEE Computer Society (2004)","DOI":"10.1109\/ITCC.2004.1286643"},{"key":"16_CR13","unstructured":"Bella, G., Costantino, G., Coles-Kemp, L., Riccobene, S.: Remote management of face-to-face written authenticated though anonymous exams. In: CSEDU, vol. 2. SciTePress (2011)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Giustolisi, R., Lenzini, G., Bella, G.: What security for electronic exams? In: 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), pp. 1\u20135 (2013)","DOI":"10.1109\/CRiSIS.2013.6766348"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1108\/10662249810217821","volume":"8","author":"S Furnell","year":"1998","unstructured":"Furnell, S., Onions, P., Knahl, M., Sanders, P., Bleimann, U., Gojny, U., R\u00f6der, H.: A security framework for online distance learning and training. Internet Res. 8, 236\u2013242 (1998)","journal-title":"Internet Res."},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-27901-0_13","volume-title":"Foundations and Practice of Security","author":"J Dreier","year":"2012","unstructured":"Dreier, J., Lafourcade, P., Lakhnech, Y.: Vote-independence: a powerful privacy notion for voting protocols. In: Garcia-Alfaro, J., Lafourcade, P. (eds.) FPS 2011. LNCS, vol. 6888, pp. 164\u2013180. Springer, Heidelberg (2012)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Dreier, J., Lafourcade, P., Lakhnech, Y.: A formal taxonomy of privacy in voting protocols. In: ICC, pp. 6710\u20136715. IEEE (2012)","DOI":"10.1109\/ICC.2012.6364938"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/978-3-642-33167-1_26","volume-title":"Computer Security \u2013 ESORICS 2012","author":"J Dreier","year":"2012","unstructured":"Dreier, J., Lafourcade, P., Lakhnech, Y.: Defining privacy for weighted votes, single and multi-voter coercion. In: Foresti, S., Yung, M., Martinelli, F. (eds.) ESORICS 2012. LNCS, vol. 7459, pp. 451\u2013468. Springer, Heidelberg (2012)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Backes, M., Hritcu, C., Maffei, M.: Automated verification of remote electronic voting protocols in the applied Pi-calculus. In: CSF, pp. 195\u2013209. IEEE Computer Society (2008)","DOI":"10.1109\/CSF.2008.26"},{"key":"16_CR20","doi-asserted-by":"crossref","first-page":"435","DOI":"10.3233\/JCS-2009-0340","volume":"17","author":"S Delaune","year":"2009","unstructured":"Delaune, S., Kremer, S., Ryan, M.: Verifying privacy-type properties of electronic voting protocols. J. Comput. Secur. 17, 435\u2013487 (2009)","journal-title":"J. Comput. Secur."},{"key":"16_CR21","unstructured":"Delaune, S., Kremer, S., Ryan, M.: Verifying properties of electronic voting protocols. In: Proceedings of the IAVoSS Workshop On Trustworthy Elections (WOTE 2006), Cambridge, pp. 45\u201352 (2006)"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-19751-2_15","volume-title":"Formal Aspects of Security and Trust","author":"N Dong","year":"2011","unstructured":"Dong, N., Jonker, H., Pang, J.: Analysis of a receipt-free auction protocol in the applied Pi calculus. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol. 6561, pp. 223\u2013238. Springer, Heidelberg (2011)"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-36830-1_13","volume-title":"Principles of Security and Trust","author":"J Dreier","year":"2013","unstructured":"Dreier, J., Lafourcade, P., Lakhnech, Y.: Formal verification of e-auction protocols. In: Basin, D., Mitchell, J.C. (eds.) POST 2013 (ETAPS 2013). LNCS, vol. 7796, pp. 247\u2013266. Springer, Heidelberg (2013)"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Dreier, J., Jonker, H., Lafourcade, P.: Defining verifiability in e-auction protocols. In: ASIACCS, pp. 547\u2013552. ACM (2013)","DOI":"10.1145\/2484313.2484387"},{"key":"16_CR25","doi-asserted-by":"crossref","first-page":"847","DOI":"10.3233\/JCS-130489","volume":"21","author":"M Arapinis","year":"2013","unstructured":"Arapinis, M., Bursuc, S., Ryan, M.: Privacy-supporting cloud computing by in-browser key translation. J. Comput. Secur. 21, 847\u2013880 (2013)","journal-title":"J. Comput. Secur."},{"key":"16_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-319-07890-8_14","volume-title":"Fun with Algorithms","author":"J Dreier","year":"2014","unstructured":"Dreier, J., Jonker, H., Lafourcade, P.: Secure auctions without cryptography. In: Ferro, A., Luccio, F., Widmayer, P. (eds.) FUN 2014. LNCS, vol. 8496, pp. 158\u2013170. Springer, Heidelberg (2014)"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-38004-4_13","volume-title":"Security and Trust Management","author":"C Meadows","year":"2013","unstructured":"Meadows, C., Pavlovic, D.: Formalizing physical security procedures. In: J\u00f8sang, A., Samarati, P., Petrocchi, M. (eds.) STM 2012. LNCS, vol. 7783, pp. 193\u2013208. Springer, Heidelberg (2013)"},{"issue":"2","key":"16_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2019599.2019601","volume":"14","author":"D Basin","year":"2011","unstructured":"Basin, D., Capkun, S., Schaller, P., Schmidt, B.: Formal reasoning about physical properties of security protocols. ACM Trans. Inf. Syst. Secur. 14(2), 1\u201328 (2011)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"16_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11861386_12","volume-title":"Security Protocols","author":"M Blaze","year":"2006","unstructured":"Blaze, M.: Toward a broader view of security protocols. In: Christianson, B., Crispo, B., Malcolm, J.A., Roe, M. (eds.) Security Protocols 2004. LNCS, vol. 3957, pp. 106\u2013120. Springer, Heidelberg (2006)"},{"key":"16_CR30","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Trans. Inf. Theory 29, 198\u2013208 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Delaune, S., Kremer, S., Ryan, M.D.: Coercion-resistance and receipt-freeness in electronic voting. In: Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 2006), Venice, pp. 28\u201339. IEEE Computer Society Press (2006)","DOI":"10.1109\/CSFW.2006.8"},{"key":"16_CR32","volume-title":"The Modelling and Analysis of Security Protocols: The CSP Approach","author":"PYA Ryan","year":"2000","unstructured":"Ryan, P.Y.A., Schneider, S.A., Goldsmith, M., Lowe, G., Roscoe, A.W.: The Modelling and Analysis of Security Protocols: The CSP Approach. Addison-Wesley Professional, USA (2000)"},{"key":"16_CR33","unstructured":"Ryan, M., Smyth, B.: Applied Pi calculus. In: Formal Models and Techniques for Analyzing Security Protocols. IOS Press (2011)"},{"key":"16_CR34","doi-asserted-by":"crossref","first-page":"75","DOI":"10.3233\/JCS-2001-91-204","volume":"9","author":"PYA Ryan","year":"2001","unstructured":"Ryan, P.Y.A., Schneider, S.A.: Process algebra and non-interference. J. Comput. Secur. 9, 75\u2013103 (2001)","journal-title":"J. Comput. Secur."},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"Golle, P., Jakobsson, M.: Reusable anonymous return channels. In: Proceedings of the 2003 ACM Workshop on Privacy in the Electronic Society, WPES 2003, pp. 94\u2013100. ACM (2003)","DOI":"10.1145\/1005140.1005155"},{"key":"16_CR36","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1109\/TIT.1985.1057074","volume":"31","author":"T Elgamal","year":"1985","unstructured":"Elgamal, T.: A public key cryptosystem and a signature scheme based on discrete logarithms. IEEE Trans. Inf. Theory 31, 469\u2013472 (1985)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"16_CR37","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1145\/359168.359176","volume":"22","author":"A Shamir","year":"1979","unstructured":"Shamir, A.: How to share a secret. Commun. ACM 22, 612\u2013613 (1979)","journal-title":"Commun. ACM"},{"key":"16_CR38","first-page":"202","volume":"2008","author":"M Backes","year":"2008","unstructured":"Backes, M., Maffei, M., Unruh, D.: Zero-knowledge in the applied Pi-calculus and automated verification of the direct anonymous attestation protocol. IEEE Symp. Secur. Priv. 2008, 202\u2013215 (2008)","journal-title":"IEEE Symp. Secur. Priv."},{"key":"16_CR39","unstructured":"Haenni, R., Spycher, O.: Secure internet voting on limited devices with anonymized DSA public keys. In: Proceedings of the 2011 Conference on Electronic Voting Technology\/Workshop on Trustworthy Elections, EVT\/WOTE 2011. USENIX (2011)"}],"container-title":["Communications in Computer and Information Science","E-Business and Telecommunications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25915-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T23:26:52Z","timestamp":1748734012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25915-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259147","9783319259154"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25915-4_16","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}