Formal verification of the W3C web authentication protocol.
Iness Ben GuiratHarry HalpinPublished 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