Formal Methods and Cryptography.
Michael BackesBirgit PfitzmannMichael WaidnerPublished in: FM (2006)
Keyphrases
- formal methods
- cellular automata
- formal analysis
- knowledge based systems
- model checker
- formal specification
- process algebra
- safety critical
- model checking
- information security
- provably correct
- software engineering
- artificial intelligence
- temporal properties
- modeling language
- reactive systems
- database
- knowledge acquisition
- knowledge base
- security properties