%0 Conference Paper %1 conf/sp/Kemmerer87 %A Kemmerer, Richard A. %B S&P %D 1987 %I IEEE Computer Society %K dblp %P 134-139 %T Using Formal Verification Techniques to Analyze Encryption Protocols. %U http://dblp.uni-trier.de/db/conf/sp/sp1987.html#Kemmerer87 %@ 0-8186-0771-8

@inproceedings{conf/sp/Kemmerer87, added-at = {2023-09-21T00:00:00.000+0200}, author = {Kemmerer, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/2611b97322fa97a1b39ea83c45c52c2dc/dblp}, booktitle = {S&P}, crossref = {conf/sp/1987}, ee = {https://doi.ieeecomputersociety.org/10.1109/SP.1987.10005}, interhash = {76859b0bd69783571443d47d5ec7cd95}, intrahash = {611b97322fa97a1b39ea83c45c52c2dc}, isbn = {0-8186-0771-8}, keywords = {dblp}, pages = {134-139}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:02:05.000+0200}, title = {Using Formal Verification Techniques to Analyze Encryption Protocols.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp1987.html#Kemmerer87}, year = 1987 }