%0 Conference Paper %1 conf/fsttcs/ChevalierK07 %A Chevalier, Yannick %A Kourjieh, Mounira %B FSTTCS %D 2007 %E Arvind, Vikraman %E Prasad, Sanjiva %I Springer %K dblp %P 121-132 %T Key Substitution in the Symbolic Analysis of Cryptographic Protocols. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2007.html#ChevalierK07 %V 4855 %@ 978-3-540-77049-7

@inproceedings{conf/fsttcs/ChevalierK07, added-at = {2017-05-24T00:00:00.000+0200}, author = {Chevalier, Yannick and Kourjieh, Mounira}, biburl = {https://www.bibsonomy.org/bibtex/23f803d7a11310c07bdf28396986806d2/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2007}, editor = {Arvind, Vikraman and Prasad, Sanjiva}, ee = {https://doi.org/10.1007/978-3-540-77050-3_10}, interhash = {acdc1a7a752531f4be58a2cd0d2d8563}, intrahash = {3f803d7a11310c07bdf28396986806d2}, isbn = {978-3-540-77049-7}, keywords = {dblp}, pages = {121-132}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:25.000+0200}, title = {Key Substitution in the Symbolic Analysis of Cryptographic Protocols.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2007.html#ChevalierK07}, volume = 4855, year = 2007 }