{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T09:59:47Z","timestamp":1758707987397},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214233"},{"type":"electronic","value":"9783642214240"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21424-0_9","type":"book-chapter","created":{"date-parts":[[2011,6,15]],"date-time":"2011-06-15T11:52:47Z","timestamp":1308138767000},"page":"104-115","source":"Crossref","is-referenced-by-count":21,"title":["Ceremony Analysis: Strengths and Weaknesses"],"prefix":"10.1007","author":[{"given":"Kenneth","family":"Radke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Boyd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Gonzalez Nieto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margot","family":"Brereton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/32.481513","volume":"22","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Needham, R.M.: Prudent engineering practice for cryptographic protocols. IEEE Trans. Software Eng.\u00a022(1), 6\u201315 (1996)","journal-title":"IEEE Trans. Software Eng."},{"key":"9_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68136-6","volume-title":"Formal correctness of security protocols","author":"G. Bella","year":"2007","unstructured":"Bella, G.: Formal correctness of security protocols. Springer, Heidelberg (2007)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48969-X_1","volume-title":"Lectures on Data Security","author":"M. Bellare","year":"1999","unstructured":"Bellare, M.: Practice-oriented provable-security. In: Damg\u00e5rd, I. (ed.) EEF School 1998. LNCS, vol.\u00a01561, pp. 1\u201315. Springer, Heidelberg (1999)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-48329-2_21","volume-title":"Advances in Cryptology - CRYPTO \u201993","author":"M. Bellare","year":"1994","unstructured":"Bellare, M., Rogaway, P.: Entity Authentication and Key Distribution. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol.\u00a0773, pp. 232\u2013249. Springer, Heidelberg (1994)"},{"key":"9_CR5","first-page":"168","volume-title":"ACM Conference on Computer and Communications Security","author":"J.G. Brainard","year":"2006","unstructured":"Brainard, J.G., Juels, A., Rivest, R.L., Szydlo, M., Yung, M.: Fourth-factor authentication: somebody you know. In: ACM Conference on Computer and Communications Security, pp. 168\u2013178. ACM, New York (2006)"},{"key":"9_CR6","first-page":"590","volume-title":"Proceedings of the SIGCHI conference on Human Factors in computing systems","author":"R. Dhamija","year":"2006","unstructured":"Dhamija, R., Tygar, J., Hearst, M.: Why phishing works. In: Proceedings of the SIGCHI conference on Human Factors in computing systems, p. 590. ACM, New York (2006)"},{"key":"9_CR7","unstructured":"Ellison, C.: Ceremony Design and Analysis. Cryptology ePrint Archive, Report 2007\/399 (2007), \n                    \n                      http:\/\/eprint.iacr.org\/"},{"issue":"4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1145\/950191.950195","volume":"6","author":"C. Ellison","year":"2003","unstructured":"Ellison, C., Dohrmann, S.: Public-key support for group collaboration. ACM Trans. Inf. Syst. Secur.\u00a06(4), 547\u2013565 (2003)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/1368310.1368354","volume-title":"ASIACCS","author":"S. Gajek","year":"2008","unstructured":"Gajek, S., Manulis, M., Sadeghi, A.R., Schwenk, J.: Provably Secure Browser-Based User-Aware Mutual Authentication over TLS. In: Abe, M., Gligor, V.D. (eds.) ASIACCS, pp. 300\u2013311. ACM, New York (2008)"},{"issue":"1-2","key":"9_CR10","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.cose.2008.09.007","volume":"28","author":"A. Herzberg","year":"2009","unstructured":"Herzberg, A.: Why Johnny can\u2019t surf (safely)? Attacks and defenses for web users. Computers & Security\u00a028(1-2), 63\u201371 (2009)","journal-title":"Computers & Security"},{"key":"9_CR11","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2009","author":"C. Karlof","year":"2009","unstructured":"Karlof, C., Tygar, J.D., Wagner, D.: Conditioned-safe ceremonies and a user study of an application to web authentication. In: Proceedings of the Network and Distributed System Security Symposium, NDSS 2009. The Internet Society, San Diego (2009)"},{"key":"9_CR12","unstructured":"Martina, J., Carlos, M.: Why should we analyze security ceremonies. In: Applications of Logic in Computer Security. In: The 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (2008)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1109\/CSE.2009.324","volume-title":"CSE 2009: Proceedings of the 2009 International Conference on Computational Science and Engineering","author":"J.E. Martina","year":"2009","unstructured":"Martina, J.E., de Souza, T.C.S., Custodio, R.F.: Ceremonies Formal Analysis in PKI\u2019s Context. In: CSE 2009: Proceedings of the 2009 International Conference on Computational Science and Engineering, pp. 392\u2013398. IEEE Computer Society, Washington, DC, USA (2009)"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1109\/SP.2010.33","volume-title":"IEEE Symposium on Security and Privacy","author":"S.J. Murdoch","year":"2010","unstructured":"Murdoch, S.J., Drimer, S., Anderson, R.J., Bond, M.: Chip and pin is broken. In: IEEE Symposium on Security and Privacy, pp. 433\u2013446. IEEE Computer Society, Los Alamitos (2010)"},{"key":"9_CR15","volume-title":"OzCHI","author":"K. Radke","year":"2010","unstructured":"Radke, K., Boyd, C., Brereton, M., Nieto, J.G.: How HCI Design Influences Web Security Decisions. In: OzCHI. ACM, New York (2010)"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2007.01.059","volume":"183","author":"R. Ruksenas","year":"2007","unstructured":"Ruksenas, R., Curzon, P., Blandford, A.: Detecting cognitive causes of confidentiality leaks. Electr. Notes Theor. Comput. Sci.\u00a0183, 21\u201338 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2","key":"9_CR17","first-page":"143","volume":"4","author":"R. Ruksenas","year":"2008","unstructured":"Ruksenas, R., Curzon, P., Blandford, A.: Modelling and analysing cognitive causes of security breaches. ISSE\u00a04(2), 143\u2013160 (2008)","journal-title":"ISSE"},{"key":"9_CR18","volume-title":"The New School of Information Security","author":"A. Shostack","year":"2008","unstructured":"Shostack, A., Stewart, A.: The New School of Information Security. Addison-Wesley Professional, Upper Saddle River (2008)"}],"container-title":["IFIP Advances in Information and Communication Technology","Future Challenges in Security and Privacy for Academia and Industry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21424-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T13:23:40Z","timestamp":1619789020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21424-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214233","9783642214240"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21424-0_9","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2011]]}}}