Key-Dependent Message Security Under Active Attacks – BRSIM/UC-soundness of Dolev–Yao-Style Encryption With Key Cycles
Journal of Computer Security - Netherlands
doi 10.3233/jcs-2008-0332
Full Text
Open PDFAbstract
Available in full text
Date
October 13, 2008
Authors
Publisher
IOS Press