Crossmark

Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards

Crossref DOI link: https://doi.org/10.1007/978-3-031-77382-2_24

Published Online: 2024-11-26

Published Print: 2025

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Paier, Matteo http://orcid.org/0009-0000-7588-7169
Van Eeden, Roberto

Miculan, Marino http://orcid.org/0000-0003-0755-3444
License Information

Text and Data Mining valid from 2024-11-26

Version of Record valid from 2024-11-26

Text and Data Mining valid from 2024-11-26

Version of Record valid from 2024-11-26
More Information

Chapter History

First Online: 26 November 2024

Disclosure of Interests

: The authors have no competing interests to declare that are relevant to the content of this article.

Conference Information

Conference Acronym: SEFM

Conference Name: International Conference on Software Engineering and Formal Methods

Conference City: Aveiro

Conference Country: Portugal

Conference Year: 2024

Conference Start Date: 4 November 2024

Conference End Date: 8 November 2024

Conference Number: 22

Conference ID: sefm2024

Conference URL: https://sefm-conference.github.io/2024/