Relating cryptography and formal methods: a panel.

Michael Backes Catherine A. Meadows John C. Mitchell

Published in: FMSE (2003)

Keyphrases

formal methods
cellular automata
knowledge based systems
formal analysis
safety critical
model checker
provably correct
model checking
artificial intelligence
formal specification
software engineering
information security
process algebra
reactive systems
temporal properties
databases
expert systems