Login / Signup
FIDO Gets Verified: A Formal Analysis of the Universal Authentication Framework Protocol.
Haonan Feng
Jingjing Guan
Hui Li
Xuesong Pan
Ziming Zhao
Published in:
IEEE Trans. Dependable Secur. Comput. (2023)
Keyphrases
</>
formal analysis
ban logic
machine learning
information systems
database systems
data model
building blocks
cost effective
security analysis
security protocols
biometric authentication