%0 Conference Paper %1 conf/post/NguyenS13 %A Nguyen, Thanh Binh %A Sprenger, Christoph %B POST %D 2013 %E Basin, David A. %E Mitchell, John C. %I Springer %K dblp %P 83-104 %T Sound Security Protocol Transformations. %U http://dblp.uni-trier.de/db/conf/post/post2013.html#NguyenS13 %V 7796 %@ 978-3-642-36829-5

@inproceedings{conf/post/NguyenS13, added-at = {2018-06-26T00:00:00.000+0200}, author = {Nguyen, Thanh Binh and Sprenger, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2b32f6387322b9b876ca10120ce0b4399/dblp}, booktitle = {POST}, crossref = {conf/post/2013}, editor = {Basin, David A. and Mitchell, John C.}, ee = {https://doi.org/10.1007/978-3-642-36830-1_5}, interhash = {00711a76a28dacbaac06ad59ca71a84c}, intrahash = {b32f6387322b9b876ca10120ce0b4399}, isbn = {978-3-642-36829-5}, keywords = {dblp}, pages = {83-104}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:23:15.000+0200}, title = {Sound Security Protocol Transformations.}, url = {http://dblp.uni-trier.de/db/conf/post/post2013.html#NguyenS13}, volume = 7796, year = 2013 }