%0 Journal Article %1 journals/jcs/BackesPS08 %A Backes, Michael %A Pfitzmann, Birgit %A Scedrov, Andre %D 2008 %J Journal of Computer Security %K %N 5 %P 497-530 %T Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. %U http://dblp.uni-trier.de/db/journals/jcs/jcs16.html#BackesPS08 %V 16

@article{journals/jcs/BackesPS08, added-at = {2023-12-12T23:02:27.000+0100}, author = {Backes, Michael and Pfitzmann, Birgit and Scedrov, Andre}, biburl = {https://www.bibsonomy.org/bibtex/207e7bf9949a3ae8ef79d01944daaee66/admin}, ee = {http://dx.doi.org/10.3233/JCS-2008-0332}, interhash = {517cb8ea995d7d8a97487ef4a2e4882c}, intrahash = {07e7bf9949a3ae8ef79d01944daaee66}, journal = {Journal of Computer Security}, keywords = {}, number = 5, pages = {497-530}, timestamp = {2023-12-12T23:02:27.000+0100}, title = {Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs16.html#BackesPS08}, volume = 16, year = 2008 }