%0 Conference Paper %1 conf/sp/ThayerHG98 %A Thayer, F. Javier %A Herzog, Jonathan C. %A Guttman, Joshua D. %B S&P %D 1998 %I IEEE Computer Society %K dblp %P 160-171 %T Strand Spaces: Why is a Security Protocol Correct? %U http://dblp.uni-trier.de/db/conf/sp/sp1998.html#ThayerHG98 %@ 0-8186-8386-4

@inproceedings{conf/sp/ThayerHG98, added-at = {2023-09-21T00:00:00.000+0200}, author = {Thayer, F. Javier and Herzog, Jonathan C. and Guttman, Joshua D.}, biburl = {https://www.bibsonomy.org/bibtex/2a795c59b06cdf7124d850288d55755a5/dblp}, booktitle = {S&P}, crossref = {conf/sp/1998}, ee = {https://doi.ieeecomputersociety.org/10.1109/SECPRI.1998.674832}, interhash = {8e88c2752ec18db79c49cc389bfcf3e5}, intrahash = {a795c59b06cdf7124d850288d55755a5}, isbn = {0-8186-8386-4}, keywords = {dblp}, pages = {160-171}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:01:05.000+0200}, title = {Strand Spaces: Why is a Security Protocol Correct?}, url = {http://dblp.uni-trier.de/db/conf/sp/sp1998.html#ThayerHG98}, year = 1998 }