Export Citations
1 Results for: Author: Paier, Matteo
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,829,156 records)|Limit your search to The ACM Full-Text Collection (772,637 records)
Showing 1 - 1of1 Results
Select All
- ArticleNovember 2024
Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards
Software Engineering and Formal MethodsPages 423–440https://doi.org/10.1007/978-3-031-77382-2_24AbstractWe present a methodology for formally modelling and verifying multi-factor authentication (MFA) schemes employed in eIDAS digital identity cards. This methodology adopts an interface-based threat model to comprehensively analyse potential ...