{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T20:21:13Z","timestamp":1770754873929,"version":"3.50.0"},"publisher-location":"Cham","reference-count":58,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031081453","type":"print"},{"value":"9783031081439","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-08143-9_1","type":"book-chapter","created":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T13:06:32Z","timestamp":1655125592000},"page":"3-14","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal Methods for\u00a0Socio-technical Security"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9916-271X","authenticated-orcid":false,"given":"Luca","family":"Vigan\u00f2","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,6,14]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-319-24177-7_11","volume-title":"Computer Security","author":"O Almousa","year":"2015","unstructured":"Almousa, O., M\u00f6dersheim, S., Modesti, P., Vigan\u00f2, L.: Typing and compositionality for security protocols: a generalization to the geometric fragment. In: Pernul, G., Ryan, P.Y.A., Weippl, E. (eds.) ESORICS 2015. LNCS, vol. 9327, pp. 209\u2013229. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24177-7_11"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-642-28756-5_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Armando","year":"2012","unstructured":"Armando, A., et al.: The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 267\u2013282. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28756-5_19"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11513988_27","volume-title":"Computer Aided Verification","author":"A Armando","year":"2005","unstructured":"Armando, A., et al.: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 281\u2013285. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11513988_27"},{"issue":"31","key":"1_CR4","doi-asserted-by":"publisher","first-page":"4007","DOI":"10.1016\/j.tcs.2011.04.006","volume":"412","author":"DA Basin","year":"2011","unstructured":"Basin, D.A., Caleiro, C., Ramos, J., Vigan\u00f2, L.: Distributed temporal logic for the analysis of security protocol models. Theor. Comput. Sci. 412(31), 4007\u20134043 (2011). https:\/\/doi.org\/10.1016\/j.tcs.2011.04.006","journal-title":"Theor. Comput. Sci."},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/978-3-319-10575-8_22","volume-title":"Handbook of Model Checking","author":"DA Basin","year":"2018","unstructured":"Basin, D.A., Cremers, C., Meadows, C.: Model checking security protocols. In: Handbook of Model Checking, pp. 727\u2013762. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_22"},{"key":"1_CR6","doi-asserted-by":"publisher","unstructured":"Basin, D.A., Radomirovi\u0107, S., Schl\u00e4pfer, M.: A complete characterization of secure human-server communication. In: Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF 2015), pp. 199\u2013213. IEEE (2015). https:\/\/doi.org\/10.1109\/CSF.2015.21","DOI":"10.1109\/CSF.2015.21"},{"key":"1_CR7","doi-asserted-by":"publisher","unstructured":"Basin, D.A., Radomirovi\u0107, S., Schmid, L.: Modeling human errors in security protocols. In: Proceedings of the 29th IEEE Computer Security Foundations Symposium (CSF 2016), pp. 325\u2013340. IEEE (2016). https:\/\/doi.org\/10.1109\/CSF.2016.30","DOI":"10.1109\/CSF.2016.30"},{"key":"1_CR8","doi-asserted-by":"publisher","unstructured":"Bella, G.: Formal Correctness of Security Protocols. Springer, Berlin (2007). https:\/\/doi.org\/10.1007\/978-3-540-68136-6","DOI":"10.1007\/978-3-540-68136-6"},{"key":"1_CR9","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-30436-1_23","volume-title":"Information Security and Privacy Research","author":"G Bella","year":"2012","unstructured":"Bella, G., Coles-Kemp, L.: Layered analysis of security ceremonies. In: Gritzalis, D., Furnell, S., Theoharidou, M. (eds.) SEC 2012. IAICT, vol. 376, pp. 273\u2013286. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30436-1_23"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Bella, G., Giustolisi, R., Lenzini, G.: Socio-technical formal analysis of TLS certificate validation in modern browsers. In: Castella-Roca, J. et al. (ed.), Proceedings of the 11th International Conference on Privacy, Security and Trust (PST 2013), pp. 309\u2013316. IEEE Press (2013). https:\/\/doi.org\/10.1109\/PST.2013.6596067","DOI":"10.1109\/PST.2013.6596067"},{"issue":"4","key":"1_CR11","doi-asserted-by":"publisher","first-page":"509","DOI":"10.3233\/JCS-16891","volume":"26","author":"G Bella","year":"2015","unstructured":"Bella, G., Giustolisi, R., Lenzini, G.: Invalid certificates in modern browsers: a socio-technical analysis. J. Comput. Secur. 26(4), 509\u2013541 (2015). https:\/\/doi.org\/10.3233\/JCS-16891","journal-title":"J. Comput. Secur."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Bella, G., Giustolisi, R., Sch\u00fcrmann, C.: Modelling human threats in security ceremonies. J. Comput. Secur. (2022, to appear)","DOI":"10.3233\/JCS-210059"},{"key":"1_CR13","doi-asserted-by":"publisher","unstructured":"Bella, G., Renaud, K., Sempreboni, D., Vigan\u00f2, L.: An investigation into the \u201cbeautification\u201d of security ceremonies. In: Proceedings of the 16th International Conference on Security and Cryptography, pp. 125\u2013136. Scitepress Digital Library (2019). https:\/\/doi.org\/10.5220\/0007921501250136","DOI":"10.5220\/0007921501250136"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-26096-9_25","volume-title":"Security Protocols XXIII","author":"G Bella","year":"2015","unstructured":"Bella, G., Vigan\u00f2, L.: Security is beautiful. In: Christianson, B., \u0160venda, P., Maty\u00e1\u0161, V., Malcolm, J., Stajano, F., Anderson, J. (eds.) Security Protocols 2015. LNCS, vol. 9379, pp. 247\u2013250. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-26096-9_25"},{"key":"1_CR15","unstructured":"Bishop, M.: Computer Security: Art and Science. 2d edition, Addison-Wesley Professional, Boston (2019)"},{"key":"1_CR16","doi-asserted-by":"publisher","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on prolog rules. In: Proeedings of the IEEE Computer Society Foundations Workshop (CSFW 2001), IEEE CS Press (2001). https:\/\/doi.org\/10.1109\/CSFW.2001.930138","DOI":"10.1109\/CSFW.2001.930138"},{"key":"1_CR17","doi-asserted-by":"publisher","unstructured":"Blanchet, B.: A computationally sound mechanized prover for security protocols. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 140\u2013154. IEEE (2006). https:\/\/doi.org\/10.1109\/SP.2006.1","DOI":"10.1109\/SP.2006.1"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-21768-5_6","volume-title":"Tests and Proofs","author":"M B\u00fcchler","year":"2011","unstructured":"B\u00fcchler, M., Oudinet, J., Pretschner, A.: Security mutants for property-based testing. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol. 6706, pp. 69\u201377. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21768-5_6"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Carlos, M.C., Martina, J.E., Price, G., Cust\u00f3dio, R.F.: A proposed framework for analysing security ceremonies. In: Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT (ICETE 2012), pp. 440\u2013445. INSTICC, Scitepress Digital Library (2012). https:\/\/doi.org\/10.5220\/0004129704400445","DOI":"10.5220\/0004129704400445"},{"key":"1_CR20","doi-asserted-by":"publisher","unstructured":"Carlos, M.C., Martina, J.E., Price, G., Cust\u00f3dio, R.F.: An updated threat model for security ceremonies. In: Proceedings of SAC 2013, pp. 1836\u20131845. ACM (2013). https:\/\/doi.org\/10.1145\/2480362.2480705","DOI":"10.1145\/2480362.2480705"},{"issue":"3","key":"1_CR21","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1561\/2500000001","volume":"1","author":"V Cortier","year":"2014","unstructured":"Cortier, V., Kremer, S.: Formal models and techniques for analyzing security protocols: a tutorial. Found. Trends Program. Lang. 1(3), 151\u2013267 (2014). https:\/\/doi.org\/10.1561\/2500000001","journal-title":"Found. Trends Program. Lang."},{"key":"1_CR22","doi-asserted-by":"publisher","unstructured":"Cortier, V., Kremer, S.: Formal models for analyzing security protocols: some lecture notes. In: Dependable Software Systems Engineering, volume 45 of NATO Science for Peace and Security Series \u2013 D: Information and Communication Security, pp. 33\u201358. IOS Press (2016). https:\/\/doi.org\/10.3233\/978-1-61499-627-9-33","DOI":"10.3233\/978-1-61499-627-9-33"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-540-70545-1_38","volume-title":"Computer Aided Verification","author":"CJF Cremers","year":"2008","unstructured":"Cremers, C.J.F.: The Scyther tool: verification, falsification, and analysis of security protocols. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 414\u2013418. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70545-1_38"},{"issue":"4","key":"1_CR24","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/s00165-007-0035-6","volume":"19","author":"P Curzon","year":"2007","unstructured":"Curzon, P., Ruk\u0161\u0117nas, R., Blandford, A.: An approach to formal verification of human-computer interaction. Formal Aspects Comput. 19(4), 513\u2013550 (2007). https:\/\/doi.org\/10.1007\/s00165-007-0035-6","journal-title":"Formal Aspects Comput."},{"issue":"5\u20137","key":"1_CR25","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1002\/stvr.1531","volume":"25","author":"F Dadeau","year":"2015","unstructured":"Dadeau, F., H\u00e9am, P.-C., Kheddam, R., Maatoug, G., Rusinowitch, M.: Model-based mutation testing from security protocols in HLPSL. Softw. Test. Verification Reliab. 25(5\u20137), 684\u2013711 (2015). https:\/\/doi.org\/10.1002\/stvr.1531","journal-title":"Softw. Test. Verification Reliab."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.: On the security of public-key protocols. IEEE Trans. Inf. Theor. 29(2), 198\u2013208 (1983). https:\/\/doi.org\/10.1109\/TIT.1983.1056650","DOI":"10.1109\/TIT.1983.1056650"},{"key":"1_CR27","unstructured":"Ellison, C.M.: Ceremony design and analysis. IACR Cryptology ePrint Archive 399, 1\u201317 (2007)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-03829-7_1","volume-title":"Foundations of Security Analysis and Design V","author":"S Escobar","year":"2009","unstructured":"Escobar, S., Meadows, C., Meseguer, J.: Maude-NPA: cryptographic protocol analysis modulo equational properties. In: Aldini, A., Barthe, G., Gorrieri, R. (eds.) FOSAD 2007-2009. LNCS, vol. 5705, pp. 1\u201350. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03829-7_1"},{"key":"1_CR29","doi-asserted-by":"publisher","unstructured":"Flechais, I., Riegelsberger, J., Sasse, M.A.: Divide and conquer: the role of trust and assurance in the design of secure socio-technical systems. In: Proceedings of the 2005 Workshop on New Security Paradigms (NSPW), pp. 33\u201341. ACM (2005). https:\/\/doi.org\/10.1145\/1146269.1146280","DOI":"10.1145\/1146269.1146280"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Garfinkel, S., Lipford, H.R.: Usable Security: History, Themes, and Challenges. Morgan & Claypool, San Rafael (2014)","DOI":"10.1007\/978-3-031-02343-9"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-319-70290-2_10","volume-title":"Secure IT Systems","author":"R Giustolisi","year":"2017","unstructured":"Giustolisi, R.: Free rides in Denmark: lessons from improperly generated mobile transport tickets. In: Lipmaa, H., Mitrokotsa, A., Matulevi\u010dius, R. (eds.) NordSec 2017. LNCS, vol. 10674, pp. 159\u2013174. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70290-2_10"},{"key":"1_CR32","unstructured":"CVA Cybersecurity Working Group. Trusted Key Ceremony Guidelines \u2013 Guidelines for Generating Digital Asset Secrets (2020). https:\/\/d1c2gz5q23tkk0.cloudfront.net\/assets\/uploads\/2956620\/asset\/CVA_Trusted_Key_Ceremony_Guidelines.pdf?1594131972"},{"key":"1_CR33","doi-asserted-by":"publisher","unstructured":"Pierre-Cyrille, H., Dadeau, F., Kheddam, R., Maatoug, G., Rusinowitch, M.: A model-based testing approach for security protocols. In: Proceedings of the 2016 IEEE International Conference on Computational Science and Engineering (CSE) and IEEE International Conference on Embedded and Ubiquitous Computing (EUC) and 15th International Symposium on Distributed Computing and Applications for Business Engineering (DCABES), pp. 553\u2013556. IEEE (2016). https:\/\/doi.org\/10.1109\/CSE-EUC-DCABES.2016.240","DOI":"10.1109\/CSE-EUC-DCABES.2016.240"},{"key":"1_CR34","unstructured":"Internet Assigned Numbers Authority (IANA). Key Signing Ceremonies (2022). https:\/\/www.iana.org\/dnssec\/ceremonies"},{"key":"1_CR35","unstructured":"IBM Global Technology Services (Managed Security Services). IBM Security Services 2014 Cyber Security Intelligence Index (2014)"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-319-17016-9_18","volume-title":"Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance","author":"C Johansen","year":"2015","unstructured":"Johansen, C., J\u00f8sang, A.: Probabilistic modelling of humans in security ceremonies. In: Garcia-Alfaro, J., et al. (eds.) DPM\/QASA\/SETOP -2014. LNCS, vol. 8872, pp. 277\u2013292. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17016-9_18"},{"key":"1_CR37","unstructured":"Lortz, V.B., Walker, J.R., Hegde, S.S., Kulkarni, A.A., Tai, T.Y.C.: Device introduction and access control framework, Google Patents US Patent 8,146,142 (2012)"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-030-03251-7_11","volume-title":"Security Protocols XXVI","author":"T Martimiano","year":"2018","unstructured":"Martimiano, T., Martina, J.E.: Daemones non operantur nisi per artem. In: Maty\u00e1\u0161, V., \u0160venda, P., Stajano, F., Christianson, B., Anderson, J. (eds.) Security Protocols 2018. LNCS, vol. 11286, pp. 96\u2013105. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03251-7_11"},{"key":"1_CR39","doi-asserted-by":"publisher","unstructured":"Martimiano, T., Martina, J.E., Olembo, M.M., Carlos, M.C.: Modelling user devices in security ceremonies. In: Proceedings of the Workshop on Socio-Technical Aspects in Security and Trust, pp. 16\u201323 (2014). https:\/\/doi.org\/10.1109\/STAST.2014.11","DOI":"10.1109\/STAST.2014.11"},{"key":"1_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1007\/978-3-642-39799-8_48","volume-title":"Computer Aided Verification","author":"S Meier","year":"2013","unstructured":"Meier, S., Schmidt, B., Cremers, C., Basin, D.: The TAMARIN prover for the symbolic analysis of security protocols. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 696\u2013701. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_48"},{"key":"1_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-04444-1_21","volume-title":"Computer Security","author":"S M\u00f6dersheim","year":"2009","unstructured":"M\u00f6dersheim, S., Vigan\u00f2, L.: Secure pseudonymous channels. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol. 5789, pp. 337\u2013354. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04444-1_21"},{"key":"1_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-642-03829-7_6","volume-title":"Foundations of Security Analysis and Design V","author":"S M\u00f6dersheim","year":"2009","unstructured":"M\u00f6dersheim, S., Vigan\u00f2, L.: The open-source fixed-point model checker for symbolic analysis of security protocols. In: Aldini, A., Barthe, G., Gorrieri, R. (eds.) FOSAD 2007-2009. LNCS, vol. 5705, pp. 166\u2013194. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03829-7_6"},{"key":"1_CR43","doi-asserted-by":"publisher","unstructured":"M\u00f6dersheim, S., Vigan\u00f2, L.: Sufficient conditions for vertical composition of security protocols. In: Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security (ASIA CCS 2014), pp. 435\u2013446. ACM (2014). https:\/\/doi.org\/10.1145\/2590296.2590330","DOI":"10.1145\/2590296.2590330"},{"key":"1_CR44","doi-asserted-by":"publisher","unstructured":"Peroli, M., De Meo, F., Vigan\u00f2, L., Guardini, D.: MobSTer: a model-based security testing framework for web applications. Softw. Test. Verification Reliab. 28(8), e1685 (2018). https:\/\/doi.org\/10.1002\/stvr.1685","DOI":"10.1002\/stvr.1685"},{"key":"1_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-319-27810-0_3","volume-title":"Semantics, Logics, and Calculi","author":"CW Probst","year":"2016","unstructured":"Probst, C.W., Kamm\u00fcller, F., Hansen, R.R.: Formal modelling and analysis of\u00a0socio-technical systems. In: Probst, C.W., Hankin, C., Hansen, R.R. (eds.) Semantics, Logics, and Calculi. LNCS, vol. 9560, pp. 54\u201373. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-27810-0_3"},{"issue":"4","key":"1_CR46","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1093\/comjnl\/bxw066","volume":"60","author":"K Radke","year":"2017","unstructured":"Radke, K., Boyd, C.: Security proofs for protocols involving humans. Comput. J. 60(4), 527\u2013540 (2017). https:\/\/doi.org\/10.1093\/comjnl\/bxw066","journal-title":"Comput. J."},{"key":"1_CR47","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-21424-0_9","volume-title":"Future Challenges in Security and Privacy for Academia and Industry","author":"K Radke","year":"2011","unstructured":"Radke, K., Boyd, C., Gonzalez Nieto, J., Brereton, M.: Ceremony analysis: strengths and weaknesses. In: Camenisch, J., Fischer-H\u00fcbner, S., Murayama, Y., Portmann, A., Rieder, C. (eds.) SEC 2011. IAICT, vol. 354, pp. 104\u2013115. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21424-0_9"},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-030-91631-2_20","volume-title":"Protocols, Strands, and Logic","author":"JD Ramsdell","year":"2021","unstructured":"Ramsdell, J.D.: Cryptographic protocol analysis and compilation using CPSA and Roletran. In: Dougherty, D., Meseguer, J., M\u00f6dersheim, S.A., Rowe, P. (eds.) Protocols, Strands, and Logic. LNCS, vol. 13066, pp. 355\u2013369. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91631-2_20"},{"key":"1_CR49","series-title":"SpringerBriefs in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-319-23570-7_5","volume-title":"Cyber-Risk Management","author":"A Refsdal","year":"2015","unstructured":"Refsdal, A., Solhaug, B., St\u00f8len, K.: Cyber-risk management. In: Cyber-Risk Management. SCS, pp. 33\u201347. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23570-7_5"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Ruk\u0161\u0117nas, R., Curzon, P., Blandford, A.: Modelling and analysing cognitive causes of security breaches. Innov. Syst. Softw. Eng. 4, 143\u2013160 (2008). https:\/\/doi.org\/10.1007\/s11334-008-0050-7","DOI":"10.1007\/s11334-008-0050-7"},{"key":"1_CR51","doi-asserted-by":"publisher","unstructured":"Sempreboni, D., Bella, G., Giustolisi, R., Vigan\u00f2, L.: What are the threats? (Charting the threat models of security ceremonies). In: Proceedings of the 16th International Joint Conference on e-Business and Telecommunications, ICETE \u2013 Volume 2: SECRYPT, pp. 161\u2013172. Scitepress Digital Library (2019). https:\/\/doi.org\/10.5220\/0007924901610172","DOI":"10.5220\/0007924901610172"},{"key":"1_CR52","doi-asserted-by":"publisher","unstructured":"Sempreboni, D., Vigan\u00f2, L.: X-Men: a mutation-based approach for the formal analysis of security ceremonies. In: Proceedings of the 5th IEEE European Symposium on Security and Privacy (EuroS&P), pp. 87\u2013104. IEEE (2020). https:\/\/doi.org\/10.1109\/EuroSP48549.2020.00014","DOI":"10.1109\/EuroSP48549.2020.00014"},{"key":"1_CR53","doi-asserted-by":"publisher","unstructured":"Vigan\u00f2, L.: The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. In: Proceedings of the IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST), pp. 497\u2013498. IEEE (2013). https:\/\/doi.org\/10.1109\/ICST.2013.75","DOI":"10.1109\/ICST.2013.75"},{"key":"1_CR54","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-030-42653-8_18","volume-title":"Imagine Math 7","author":"L Vigan\u00f2","year":"2020","unstructured":"Vigan\u00f2, L.: Explaining cybersecurity with films and the arts. In: Imagine Math 7, pp. 297\u2013309. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-42653-8_18"},{"key":"1_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-030-85623-6_3","volume-title":"Human-Computer Interaction","author":"L Vigan\u00f2","year":"2021","unstructured":"Vigan\u00f2, L.: Nicolas Cage is the center of the cybersecurity universe. In: Ardito, C., et al. (eds.) INTERACT 2021. LNCS, vol. 12932, pp. 14\u201333. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85623-6_3"},{"key":"1_CR56","unstructured":"Vigan\u00f2, L.: Don\u2019t tell me the cybersecurity moon is shining... (Cybersecurity show and tell). In: Emmer, M. (ed.), Imagine Math 8. Springer, Cham (to appear)"},{"key":"1_CR57","unstructured":"Vigan\u00f2, L., Magazzeni, D.: Explainable security. CoRR (2018). http:\/\/arxiv.org\/abs\/1807.04178"},{"key":"1_CR58","doi-asserted-by":"publisher","unstructured":"Vigan\u00f2, L., Magazzeni, D.: Explainable security. In: IEEE European Symposium on Security and Privacy Workshops, EuroS&P Workshops 2020, pp. 293\u2013300. IEEE (2020). A preliminary version appeared as [58]. https:\/\/doi.org\/10.1109\/EuroSPW51379.2020.00045","DOI":"10.1109\/EuroSPW51379.2020.00045"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-08143-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T13:06:56Z","timestamp":1655125616000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-08143-9_1"}},"subtitle":["(Formal and Automated Analysis of Security Ceremonies)"],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031081453","9783031081439"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-08143-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"14 June 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lucca","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}