From qualitative to quantitative proofs of security properties using first-order conditional logic.
Joseph Y. HalpernPublished in: J. Comput. Secur. (2017)
Keyphrases
- conditional logic
- security properties
- qualitative and quantitative
- default reasoning
- belief revision
- formal model
- nonmonotonic reasoning
- security requirements
- modal logic
- security analysis
- security protocols
- knowledge representation and reasoning
- cryptographic protocols
- probabilistic logic
- formal methods
- partial order
- sequent calculus
- sound and complete axiomatization
- probabilistic reasoning
- theorem proving
- logic programming
- information systems
- key management
- first order logic
- low cost
- object oriented
- data mining