%0 Conference Paper %1 conf/csfw/Lowe97 %A Lowe, Gavin %B CSFW %D 1997 %I IEEE Computer Society %K %P 18-30 %T Casper: A Compiler for the Analysis of Security Protocols. %U http://dblp.uni-trier.de/db/conf/csfw/csfw1997.html#Lowe97 %@ 0-8186-7990-5

@inproceedings{conf/csfw/Lowe97, added-at = {2023-12-13T10:35:22.000+0100}, author = {Lowe, Gavin}, biburl = {https://www.bibsonomy.org/bibtex/2ed2fb8c763659b7a54febfa45ab12a86/admin}, booktitle = {CSFW}, crossref = {conf/csfw/1997}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1997.596779}, interhash = {d8e83dbf332889fa49e0f8406a57013a}, intrahash = {ed2fb8c763659b7a54febfa45ab12a86}, isbn = {0-8186-7990-5}, keywords = {}, pages = {18-30}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T10:35:22.000+0100}, title = {Casper: A Compiler for the Analysis of Security Protocols.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw1997.html#Lowe97}, year = 1997 }