{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T22:36:04Z","timestamp":1777415764687,"version":"3.51.4"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,8,7]],"date-time":"2014-08-07T00:00:00Z","timestamp":1407369600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10207-014-0253-x","type":"journal-article","created":{"date-parts":[[2014,8,6]],"date-time":"2014-08-06T07:56:28Z","timestamp":1407311788000},"page":"103-121","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["An adaptive threat model for security ceremonies"],"prefix":"10.1007","volume":"14","author":[{"given":"Jean Everson","family":"Martina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"dos Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo Carlomagno","family":"Carlos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geraint","family":"Price","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo Felipe","family":"Cust\u00f3dio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,7]]},"reference":[{"key":"253_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Rogaway, P.: Reconciling two views of cryptography (the computational soundness of formal encryption). J. Cryptol. 20(3), 395\u2013395 (2007)","DOI":"10.1007\/s00145-007-0203-0"},{"key":"253_CR2","doi-asserted-by":"crossref","unstructured":"Alexander, R.D.: The evolution of social behavior. Annu. Rev. Ecol. Syst. 5 (1974). http:\/\/www.jstor.org\/stable\/2096892","DOI":"10.1146\/annurev.es.05.110174.001545"},{"key":"253_CR3","doi-asserted-by":"crossref","unstructured":"Anderson, R., Needham, R.: Robustness principles for public key protocols. In: CRYPTO \u201995. Springer (1995)","DOI":"10.1007\/3-540-44750-4_19"},{"key":"253_CR4","doi-asserted-by":"crossref","unstructured":"Arsac, W., Bella, G., Chantry, X., Compagna, L.: ARSPA-WITS. Lecture Notes in Computer Science. In: Degano, P., Vigan\u00f2, L. (eds.) Validating Security Protocols Under the General Attacker, pp. 34\u201351. Springer (2009). doi: 10.1007\/978-3-642-03459-6","DOI":"10.1007\/978-3-642-03459-6"},{"key":"253_CR5","doi-asserted-by":"crossref","unstructured":"Arsac, W., Bella, G., Chantry, X., Compagna, L.: Multi-attacker protocol validation. J. Autom. Reason. 46(3\u20134) (2011). doi: 10.1007\/s10817-010-9185-y","DOI":"10.1007\/s10817-010-9185-y"},{"key":"253_CR6","unstructured":"Backes, M., Pfitzmann, B.: Relating symbolic and cryptographic secrecy. IACR Cryptology ePrint Archive 2004, 300 (2004), http:\/\/eprint.iacr.org\/2004\/300"},{"key":"253_CR7","unstructured":"Balfanz, D., Smetters, D.K., Stewart, P., Wong, H.C.: Talking to strangers: Authentication in ad-hoc wireless networks. In: NDSS\u201902. San Diego (2002)"},{"key":"253_CR8","unstructured":"Bella, G., Bistarelli, S., Massacci, F.: Retaliation: can we live with flaws? In: IACS, vol. 6. IOS Press (2006)"},{"key":"253_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-68136-6","volume-title":"Formal Correctness of Security Protocols. Information Security and Cryptography","author":"G Bella","year":"2007","unstructured":"Bella, G.: Formal Correctness of Security Protocols. Information Security and Cryptography. Springer, Berlin (2007)"},{"key":"253_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-68136-6","volume-title":"Formal Correctness of Security Protocols, Information Security and Cryptography, vol. XX","author":"G Bella","year":"2007","unstructured":"Bella, G.: Formal Correctness of Security Protocols, Information Security and Cryptography, vol. XX. Springer, Berlin (2007)"},{"key":"253_CR11","unstructured":"Bellare, M., Rogaway, P.: Entity authentication and key distribution. In: CRYPTO\u2019 93, LNCS, vol. 773. Springer (1994)"},{"key":"253_CR12","unstructured":"Bluetooth Special Interest Group: Bluetooth specifications 1.0 - 2.1+EDR. Technical specifications. http:\/\/www.bluetooth.com (1999\u20132007)"},{"key":"253_CR13","unstructured":"Bluetooth Special Interest Group: Simple pairing whitepaper v10r00. Technical report (2006)"},{"key":"253_CR14","doi-asserted-by":"crossref","unstructured":"Carlos, M.C., Price, G.: Understanding the weaknesses of human-protocol interaction. In: Proceedings of the 16th International Conference on Financial Cryptography and Data Security. pp. 13\u201326. FC\u201912, Springer, Berlin, Heidelberg (Mar 2012)","DOI":"10.1007\/978-3-642-34638-5_2"},{"key":"253_CR15","unstructured":"Creese, S., Goldsmith, M., Roscoe, A.W., Zakiuddin, I.: The attacker in ubiquitous computing environments: formalising the threat model. In: FAST\u201903 (2003)"},{"key":"253_CR16","doi-asserted-by":"crossref","unstructured":"Dhamija, R., Tygar, J.D., Hearst, M.: Why phishing works. In: SIGCHI\u201906. ACM, New York (2006). doi: 10.1145\/1124772.1124861","DOI":"10.1145\/1124772.1124861"},{"key":"253_CR17","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Trans Inf Theory 29(2), 198\u2013208 (Mar 1983)","DOI":"10.1109\/TIT.1983.1056650"},{"key":"253_CR18","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013208 (1983)","DOI":"10.1109\/TIT.1983.1056650"},{"key":"253_CR19","unstructured":"Ellison, C.: Ceremony Design and Analysis. Cryptology ePrint Archive. Report 2007\/399 (Oct 2007)"},{"key":"253_CR20","unstructured":"Jakobsson, M.: The human factor in phishing. In: Priv. Secur. Consum. Inf. \u201907 (2007)"},{"key":"253_CR21","doi-asserted-by":"crossref","unstructured":"Jakobsson, M., Wetzel, S.: Security weaknesses in bluetooth. In: CT-RSA 2001, LNCS, vol. 2020. Springer (2001)","DOI":"10.1007\/3-540-45353-9_14"},{"key":"253_CR22","doi-asserted-by":"crossref","unstructured":"Needham, R.M., Schroeder, M.D.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12) (1978)","DOI":"10.1145\/359657.359659"},{"key":"253_CR23","doi-asserted-by":"crossref","unstructured":"Parker, G.: Assessment strategy and the evolution of fighting behaviour. J. Theor. Biol. 47(1) (1974). http:\/\/www.sciencedirect.com\/science\/article\/pii\/0022519374901118","DOI":"10.1016\/0022-5193(74)90111-8"},{"key":"253_CR24","unstructured":"Ryan, P., Schneider, S.: Modelling and Analysis of Security Protocols, 1st edn. Addison Wesley, Boston (2001)"},{"key":"253_CR25","doi-asserted-by":"crossref","unstructured":"Shaked, Y., Wool, A.: Cracking the bluetooth pin. In: MobiSys \u201905s. ACM, New York (2005)","DOI":"10.1145\/1067170.1067176"},{"key":"253_CR26","doi-asserted-by":"crossref","unstructured":"Stajano, Anderson: The resurrecting duckling: security issues for ad-hoc wireless networks. In: IWSP: International Workshop on Security Protocols, LNCS (1999)","DOI":"10.1007\/10720107_24"},{"key":"253_CR27","unstructured":"Weidenbach, C.: SPASS Input Syntax Version 1.5. Max-Planck-Institut fur Informatik"},{"key":"253_CR28","doi-asserted-by":"crossref","unstructured":"Weidenbach, C.: Towards an automatic analysis of security protocols in first-order logic. In: 16th International Conference on Automated Deduction, pp. 314\u2013328. Springer, London, UK (1999)","DOI":"10.1007\/3-540-48660-7_29"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-014-0253-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-014-0253-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-014-0253-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T12:28:04Z","timestamp":1565699284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-014-0253-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,7]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["253"],"URL":"https:\/\/doi.org\/10.1007\/s10207-014-0253-x","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,7]]}}}