Soundness and Completeness of Formal Logics of Symmetric Encryption.

Published in: IACR Cryptol. ePrint Arch. (2005)

Keyphrases

modal logic
expressive power
nonmonotonic logics
case study
epistemic logic
decision procedures
knowledge base
genetic algorithm
data mining
formal model
default logic
formal methods
formal analysis
operational semantics
real world
neural network
database