Verification of the IBOS Browser Security Properties in Reachability Logic.

Stephen Skeirik José Meseguer Camilo Rocha

Published in: WRLA@ETAPS (2020)

Keyphrases

security properties
cryptographic protocols
formal methods
asynchronous circuits
security requirements
formal model
security protocols
model checking
security analysis
security vulnerabilities
artificial intelligence
web services
smart card
formal verification
key agreement