Logics for reasoning about cryptographic constructions.
Russell ImpagliazzoBruce M. KapronPublished in: J. Comput. Syst. Sci. (2006)
Keyphrases
- expressive power
- smart card
- modal operators
- modal logic
- qualitative reasoning
- formal theory
- spatial reasoning
- key management
- hash functions
- security protocols
- nonmonotonic logics
- inference rules
- default logic
- artificial intelligence
- computational properties
- propositional calculus
- propositional dynamic logic
- classical logic
- ad hoc networks
- encryption key
- inheritance reasoning