A Formal Analysis of the FIDO2 Protocols.

Jingjing Guan Hui Li Haisong Ye Ziming Zhao

Published in: ESORICS (3) (2022)

Keyphrases

formal analysis
payment protocol
formal methods
agent model
ban logic
communication protocol
databases
query processing
fine grained
cost effective
key distribution
communication protocols