Computational Soundness about Formal Encryption in the Presence of Secret Shares and Key Cycles.

Xinfeng Lei Rui Xue Ting Yu

Published in: ICICS (2011)

Keyphrases

high security
secret key
formal specification
mathematical theory
block cipher
visual cryptography scheme
information systems
access control
mathematical programming
computational power
key management
private key
visual cryptography