{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,9]],"date-time":"2026-09-09T12:33:58Z","timestamp":1788957238454,"version":"build-2803163510"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Futuro & Conoscenza Srl"},{"DOI":"10.13039\/501100003978","name":"Fondazione Bruno Kessler","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003978","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Poligrafico e Zecca dello Stato Italiano"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1109\/tdsc.2023.3296210","type":"journal-article","created":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T18:00:54Z","timestamp":1689616854000},"page":"1935-1950","source":"Crossref","is-referenced-by-count":5,"title":["An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8936-2726","authenticated-orcid":false,"given":"Marco","family":"Pernpruner","sequence":"first","affiliation":[{"name":"Center for Cybersecurity, Fondazione Bruno Kessler, Trento, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2853-4269","authenticated-orcid":false,"given":"Roberto","family":"Carbone","sequence":"additional","affiliation":[{"name":"Center for Cybersecurity, Fondazione Bruno Kessler, Trento, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7567-4526","authenticated-orcid":false,"given":"Giada","family":"Sciarretta","sequence":"additional","affiliation":[{"name":"Center for Cybersecurity, Fondazione Bruno Kessler, Trento, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7269-9285","authenticated-orcid":false,"given":"Silvio","family":"Ranise","sequence":"additional","affiliation":[{"name":"Center for Cybersecurity, Fondazione Bruno Kessler, Trento, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.6028\/nist.sp.800-63-3"},{"key":"ref2","volume-title":"The State of Secure Identity 2022","year":"2022"},{"key":"ref3","volume-title":"The State of Authentication in the Finance Industry 2022","year":"2022"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom\/BigDataSE.2019.00086"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2012.167"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_19"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1456396.1456397"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.6028\/nist.sp.800-63b"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0385-y"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3374664.3375727"},{"key":"ref11","article-title":"ASLan++ Specification and Tutorial. Deliverable D2.3","year":"2011"},{"key":"ref12","article-title":"ProVerif 2.00: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial","author":"Blanchet","year":"2018"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_48"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref15","article-title":"OWASP risk rating methodology","year":"2018"},{"key":"ref16","article-title":"Directive (EU) 2015\/2366","volume-title":"Official J. Eur. Union","volume":"OJ L 337\/35","year":"2015"},{"key":"ref17","article-title":"CIE features","year":"2020"},{"key":"ref18","article-title":"Information Technology \u2013 Open Systems Interconnection \u2013 The Directory: Public-Key and Attribute Certificate Frameworks","year":"2006"},{"key":"ref19","article-title":"GIXEL, European Card for e-Services and National e-ID Applications","year":"2009"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.6028\/nist.sp.800-63c"},{"key":"ref21","article-title":"Complementary website","author":"Pernpruner","year":"2022"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3386685"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2020.107567"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-020-02213-6"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2020.102494"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2773666"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.3024703"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2022.108818"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1155\/2022\/8865158"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s11276-017-1604-0"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/5537018"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2022.3227753"},{"key":"ref33","doi-asserted-by":"crossref","DOI":"10.14722\/ndss.2021.24363","article-title":"A formal analysis of the FIDO UAF protocol","volume-title":"Proc. Int. Conf. Netw. Distrib. Syst. Secur. Symp.","author":"Feng"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17143-7_1"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978385"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2969474"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/10592103\/10185059.pdf?arnumber=10185059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,18]],"date-time":"2024-07-18T05:11:04Z","timestamp":1721279464000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10185059\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":36,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2023.3296210","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,7]]}}}