%0 Conference Paper %1 conf/crypto/Kemmerer87 %A Kemmerer, Richard A. %B CRYPTO %D 1987 %E Pomerance, Carl %I Springer %K dblp %P 289-305 %T Analyzing Encryption Protocols Using Formal Verification Authentication Schemes. %U http://dblp.uni-trier.de/db/conf/crypto/crypto87.html#Kemmerer87 %V 293 %@ 3-540-18796-0

@inproceedings{conf/crypto/Kemmerer87, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kemmerer, Richard A.}, biburl = {https://www.bibsonomy.org/bibtex/2adbc34a3d6e0e19967e3b2d7779c8d60/dblp}, booktitle = {CRYPTO}, crossref = {conf/crypto/1987}, editor = {Pomerance, Carl}, ee = {https://doi.org/10.1007/3-540-48184-2_26}, interhash = {0b75416a7c0b2abcd9abbda2afa12322}, intrahash = {adbc34a3d6e0e19967e3b2d7779c8d60}, isbn = {3-540-18796-0}, keywords = {dblp}, pages = {289-305}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:09:44.000+0200}, title = {Analyzing Encryption Protocols Using Formal Verification Authentication Schemes.}, url = {http://dblp.uni-trier.de/db/conf/crypto/crypto87.html#Kemmerer87}, volume = 293, year = 1987 }