%0 Conference Paper %1 conf/esop/GiambiagiD03 %A Giambiagi, Pablo %A Dam, Mads %B ESOP %D 2003 %E Degano, Pierpaolo %I Springer %K dblp %P 144-158 %T On the Secure Implementation of Security Protocols. %U http://dblp.uni-trier.de/db/conf/esop/esop2003.html#GiambiagiD03 %V 2618 %@ 3-540-00886-1

@inproceedings{conf/esop/GiambiagiD03, added-at = {2017-05-19T00:00:00.000+0200}, author = {Giambiagi, Pablo and Dam, Mads}, biburl = {https://www.bibsonomy.org/bibtex/2be0bfbada95462009c665f9145b6d06d/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2003}, editor = {Degano, Pierpaolo}, ee = {https://doi.org/10.1007/3-540-36575-3_11}, interhash = {09534c9c8f1f06727517b48ebb584d36}, intrahash = {be0bfbada95462009c665f9145b6d06d}, isbn = {3-540-00886-1}, keywords = {dblp}, pages = {144-158}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:23.000+0200}, title = {On the Secure Implementation of Security Protocols.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2003.html#GiambiagiD03}, volume = 2618, year = 2003 }