Verification of the IBOS Browser Security Properties in Reachability Logic.

Stephen Skeirik José Meseguer Camilo Rocha

Published in: CoRR (2020)

Keyphrases

security properties
cryptographic protocols
formal methods
asynchronous circuits
formal model
security requirements
security protocols
security analysis
model checking
security vulnerabilities
standard model
key agreement
operating system
cost effective