Logical Relations for Encryption.

Eijiro Sumii Benjamin C. Pierce

Published in: CSFW (2001)

Keyphrases

logical structure
semantic relations
truth values
image encryption
attribute values
ciphertext
logical properties
logical representation
encryption algorithms
logical theories