%0 Conference Paper %1 conf/csfw/BackesP04 %A Backes, Michael %A Pfitzmann, Birgit %B CSFW %D 2004 %I IEEE Computer Society %K %P 204-218 %T Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2004.html#BackesP04 %@ 0-7695-2169-X

@inproceedings{conf/csfw/BackesP04, added-at = {2023-12-12T21:18:32.000+0100}, author = {Backes, Michael and Pfitzmann, Birgit}, biburl = {https://www.bibsonomy.org/bibtex/25bc7a1956f38745d8ae6512961eb548e/admin}, booktitle = {CSFW}, crossref = {conf/csfw/2004}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSFW.2004.20}, interhash = {3c3817dacd89ea003baf1394f845b995}, intrahash = {5bc7a1956f38745d8ae6512961eb548e}, isbn = {0-7695-2169-X}, keywords = {}, pages = {204-218}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T21:18:32.000+0100}, title = {Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2004.html#BackesP04}, year = 2004 }