Sign in

A Formal Analysis of the FIDO2 Protocols.

Jingjing GuanHui LiHaisong YeZiming 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