Conceptio › Archive › Springer Nature OA
Springer Nature OAopen access

Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis

Paier, Matteo et al.
Springer Nature OA · Papers · License: Open Access
Open Source ↗
interpreterssoftwareengineering
Computer Science, Software Engineering/Programming and Operating Systems, Programming Techniques, Software Engineering, Programming Languages, Compilers, Interpreters, Information Systems Applications (incl.Internet)
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗

Related documents

Record · ID 196256
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.