An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
Oliver BracevacRichard GaySylvia GreweHeiko MantelHenning SudbrockMarkus TaschPublished in: Arch. Formal Proofs (2018)
Keyphrases
- security properties
- theorem prover
- formal model
- natural deduction
- formal methods
- inference rules
- security analysis
- security requirements
- theorem proving
- first order logic
- security protocols
- security vulnerabilities
- cryptographic protocols
- logical framework
- key agreement
- knowledge representation
- smart card
- lightweight
- knowledge based systems
- software engineering
- artificial intelligence