Login / Signup
The application of model checking for securing e-commerce transactions.
Bonnie Brinton Anderson
James V. Hansen
Paul Benjamin Lowry
Scott L. Summers
Published in:
Commun. ACM (2006)
Keyphrases
</>
model checking
temporal logic
formal verification
automated verification
symbolic model checking
model checker
temporal properties
timed automata
finite state machines
formal specification
verification method
pspace complete
transition systems
computation tree logic
formal methods
reactive systems