%0 Conference Paper %1 conf/sp/Millen84 %A Millen, Jonathan K. %B S&P %D 1984 %I IEEE Computer Society %K dblp %P 134-141 %T The Interrogator: A Tool for Cryptographic Protocol Security. %U http://dblp.uni-trier.de/db/conf/sp/sp1984.html#Millen84 %@ 0-8186-0532-4

@inproceedings{conf/sp/Millen84, added-at = {2023-09-21T00:00:00.000+0200}, author = {Millen, Jonathan K.}, biburl = {https://www.bibsonomy.org/bibtex/290fd4095f5c9e3063db82fa74db1e117/dblp}, booktitle = {S&P}, crossref = {conf/sp/1984}, ee = {https://doi.ieeecomputersociety.org/10.1109/SP.1984.10003}, interhash = {3d94a4db9f8d87c54382a6a2cab257b8}, intrahash = {90fd4095f5c9e3063db82fa74db1e117}, isbn = {0-8186-0532-4}, keywords = {dblp}, pages = {134-141}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:01:19.000+0200}, title = {The Interrogator: A Tool for Cryptographic Protocol Security.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp1984.html#Millen84}, year = 1984 }