Specifying and Verifying Organizational Security Properties in First-Order Logic.
Christoph BrandtJens OttenChristoph KreitzWolfgang BibelPublished in: Verification, Induction, Termination Analysis (2010)
Keyphrases
- first order logic
- security properties
- expressive power
- formal model
- security analysis
- security requirements
- probabilistic reasoning
- theorem proving
- information systems
- theorem prover
- inference rules
- security protocols
- markov networks
- knowledge representation
- representation language
- probabilistic graphical models
- inductive logic programming
- formal methods
- model checking
- cryptographic protocols
- knowledge management
- transitive closure
- markov logic networks
- horn clauses
- markov logic
- logical rules
- machine learning
- data complexity
- software architecture
- association rules
- databases