An Epistemic Foundation for Authentication Logics (Extended Abstract).
Joseph Y. HalpernRon van der MeydenRiccardo PucellaPublished in: TARK (2017)
Keyphrases
- extended abstract
- epistemic logic
- modal logic
- propositional dynamic logic
- modal operators
- expressive power
- belief change
- biometric authentication
- multi agent systems
- model checking
- dynamic epistemic logic
- fragile watermarking
- identity authentication
- identity management
- horn logic
- inference rules
- authentication protocol
- user authentication
- semi fragile watermarking
- security analysis
- theoretical foundation
- knowledge base
- propositional calculus
- independent natural extension
- multimodal biometrics
- conceptual change
- nonmonotonic logics
- digital watermarking
- logical framework
- temporal logic