Logics for Reasoning about Cryptographic Constructions.
Russell ImpagliazzoBruce M. KapronPublished in: FOCS (2003)
Keyphrases
- expressive power
- smart card
- modal logic
- inference rules
- modal operators
- spatial reasoning
- encryption key
- qualitative reasoning
- nonmonotonic logics
- formal theory
- propositional dynamic logic
- genetic algorithm
- practical reasoning
- epistemic logic
- computational properties
- hash functions
- conditional logic
- digital signature
- proof theory
- key management
- propositional calculus