Formal verification of the W3C web authentication protocol.

Iness Ben Guirat Harry Halpin

Published in: HotSoS (2018)

Keyphrases

formal verification
authentication protocol
model checking
semantic web
website

bounded model checking
model checker
linked data
smart card
automated verification

web pages
symbolic model checking
lightweight
security protocols
database systems

data interchange
tim berners lee
security analysis
hash functions
query language