Sound Computational Interpretation of Formal Encryption with Composed Keys.

Peeter Laud Ricardo Corin

Published in: ICISC (2003)

Keyphrases

secret key
high level
data model
ctl model update
database
databases
information systems
knowledge base
formal model
mathematical programming
image interpretation
computational power
encryption decryption