%0 Conference Paper %1 conf/ccs/Oorschot93 %A van Oorschot, Paul C. %B ACM Conference on Computer and Communications Security %D 1993 %E Denning, Dorothy E. %E Pyle, Raymond %E Ganesan, Ravi %E Sandhu, Ravi S. %E Ashby, Victoria %I ACM %K dblp %P 232-243 %T Extending Cryptographic Logics of Belief to Key Agreement Protocols. %U http://dblp.uni-trier.de/db/conf/ccs/ccs1993.html#Oorschot93 %@ 0-89791-629-8

@inproceedings{conf/ccs/Oorschot93, added-at = {2018-11-06T00:00:00.000+0100}, author = {van Oorschot, Paul C.}, biburl = {https://www.bibsonomy.org/bibtex/292ba3722ccd842779b512b5e5db24700/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/1993}, editor = {Denning, Dorothy E. and Pyle, Raymond and Ganesan, Ravi and Sandhu, Ravi S. and Ashby, Victoria}, ee = {https://doi.org/10.1145/168588.168617}, interhash = {dea7f01a107fa8ff19bc9da3553db698}, intrahash = {92ba3722ccd842779b512b5e5db24700}, isbn = {0-89791-629-8}, keywords = {dblp}, pages = {232-243}, publisher = {ACM}, timestamp = {2018-11-07T14:06:16.000+0100}, title = {Extending Cryptographic Logics of Belief to Key Agreement Protocols.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs1993.html#Oorschot93}, year = 1993 }