%0 Conference Paper %1 conf/eurocrypt/Kemmerer86 %A Kemmerer, Richard A. %B EUROCRYPT %D 1986 %K dblp %P 48 %T Analyzing Encryption Protocols Using Formal Verification Techniques. %U http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt86.html#Kemmerer86

@inproceedings{conf/eurocrypt/Kemmerer86, added-at = {2002-01-03T00:00:00.000+0100}, author = {Kemmerer, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/2c6ef3a85ff895e7e45a2b7b1e2d53fa2/dblp}, booktitle = {EUROCRYPT}, date = {2002-01-03}, description = {dblp}, interhash = {ccf123695eafe3849739fbb47b487c0d}, intrahash = {c6ef3a85ff895e7e45a2b7b1e2d53fa2}, keywords = {dblp}, pages = 48, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Analyzing Encryption Protocols Using Formal Verification Techniques.}, url = {http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt86.html#Kemmerer86}, year = 1986 }