On Security Properties of All-or-nothing Transforms.

Navid Nasr Esfahani Douglas R. Stinson

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

Keyphrases

security properties
formal model
security requirements
security analysis
security protocols
cryptographic protocols
security vulnerabilities
smart card
real time
distributed systems
formal methods
key agreement