%0 Conference Paper %1 conf/csfw/MillenS03 %A Millen, Jonathan K. %A Shmatikov, Vitaly %B CSFW %D 2003 %I IEEE Computer Society %K dblp %P 47-61 %T Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2003.html#MillenS03 %@ 0-7695-1927-X

@inproceedings{conf/csfw/MillenS03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Millen, Jonathan K. and Shmatikov, Vitaly}, biburl = {https://www.bibsonomy.org/bibtex/2bbea66db49d78e3659201db85d8c39ea/dblp}, booktitle = {CSFW}, crossref = {conf/csfw/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2003.1212704}, interhash = {80434ef093c9c98b6bdd381ee7a17882}, intrahash = {bbea66db49d78e3659201db85d8c39ea}, isbn = {0-7695-1927-X}, keywords = {dblp}, pages = {47-61}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:42:53.000+0200}, title = {Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2003.html#MillenS03}, year = 2003 }