Formal Verification of Secure Programs in the Presence of Side Effects.

Paul E. Black Phillip J. Windley

Published in: HICSS (3) (1998)

Keyphrases

formal verification
program slicing
model checking
bounded model checking
model checker
cryptographic protocols
automated verification
symbolic model checking
security requirements
temporal logic
computer programs
knowledge base
test set
orders of magnitude
security issues