%0 Journal Article %1 journals/jcs/ThayerHG99 %A Thayer, F. Javier %A Herzog, Jonathan C. %A Guttman, Joshua D. %D 1999 %J J. Comput. Secur. %K dblp %N 1 %P 191-230 %T Strand Spaces: Proving Security Protocols Correct. %U http://dblp.uni-trier.de/db/journals/jcs/jcs7.html#ThayerHG99 %V 7

@article{journals/jcs/ThayerHG99, added-at = {2024-10-06T00:00:00.000+0200}, author = {Thayer, F. Javier and Herzog, Jonathan C. and Guttman, Joshua D.}, biburl = {https://www.bibsonomy.org/bibtex/2a101f6f80f1d2e42e950c9b71160a38d/dblp}, ee = {https://www.wikidata.org/entity/Q114944392}, interhash = {4f16736ddd8eff7ec024c7ea94da20a3}, intrahash = {a101f6f80f1d2e42e950c9b71160a38d}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = 1, pages = {191-230}, timestamp = {2024-10-07T07:12:07.000+0200}, title = {Strand Spaces: Proving Security Protocols Correct.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs7.html#ThayerHG99}, volume = 7, year = 1999 }