C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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