Login / Signup

Formal Analysis of the FIDO 1.x Protocol.

Olivier PereiraFlorentin RochetCyrille Wiedling
Published in: FPS (2017)
Keyphrases
  • formal analysis
  • ban logic
  • formal methods
  • authentication protocol
  • payment protocol
  • expert systems
  • agent model
  • databases
  • knowledge base
  • low cost
  • knowledge based systems