%0 Journal Article %1 journals/iacr/BasinC09 %A Basin, David A. %A Cremers, Cas %D 2009 %J IACR Cryptol. ePrint Arch. %K dblp %P 79 %T From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2009.html#BasinC09 %V 2009

@article{journals/iacr/BasinC09, added-at = {2021-08-23T00:00:00.000+0200}, author = {Basin, David A. and Cremers, Cas}, biburl = {https://www.bibsonomy.org/bibtex/2ac4ff44949389fefe192239abc06cfc5/dblp}, ee = {http://eprint.iacr.org/2009/079}, interhash = {e60b0c5712c9b5a12cf7ec352573a289}, intrahash = {ac4ff44949389fefe192239abc06cfc5}, journal = {IACR Cryptol. ePrint Arch.}, keywords = {dblp}, pages = 79, timestamp = {2024-04-09T03:19:29.000+0200}, title = {From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2009.html#BasinC09}, volume = 2009, year = 2009 }