Secrecy Logic: Protoalgebraic S-Secrecy Logics.
George VoutsadakisPublished in: Reports Math. Log. (2012)
Keyphrases
- modal logic
- classical logic
- proof theory
- nonmonotonic logics
- spread spectrum
- propositional calculus
- key management
- propositional dynamic logic
- security properties
- proof procedures
- epistemic logic
- truth values
- knowledge representation formalisms
- higher order logic
- autoepistemic logic
- conditional logic
- security analysis
- situation calculus
- low cost
- intuitionistic logic
- coalition logic
- mutual authentication
- proof procedure
- automated reasoning
- expressive power