Cryptographic Protocol Explication and End-Point Projection Export

@inproceedings{citeulike:5044083, abstract = {Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the communications from the perspective of an individual role. In contrast, traditional protocol descriptions as found in a state of nature tend to employ a whole-protocol description, resulting in an impedance mismatch.}, address = {Berlin, Heidelberg}, author = {Mccarthy, Jay and Krishnamurthi, Shriram}, booktitle = {ESORICS '08: Proceedings of the 13th European Symposium on Research in Computer Security}, citeulike-article-id = {5044083}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1462500}, citeulike-linkout-1 = {http://dx.doi.org/10.1007/978-3-540-88313-5_34}, doi = {10.1007/978-3-540-88313-5_34}, isbn = {978-3-540-88312-8}, keywords = {2008, epp, ws-cdl}, location = {M\'{a}laga, Spain}, pages = {533--547}, posted-at = {2009-07-03 10:28:18}, priority = {2}, publisher = {Springer-Verlag}, title = {Cryptographic Protocol Explication and End-Point Projection}, url = {http://dx.doi.org/10.1007/978-3-540-88313-5_34}, year = {2008} }

TY - CONF ID - citeulike:5044083 L3 - citeulike-article-id:5044083 N2 - Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the communications from the perspective of an individual role. In contrast, traditional protocol descriptions as found in a state of nature tend to employ a whole-protocol description, resulting in an impedance mismatch. CY - M\'{a}laga, Spain SN - 978-3-540-88312-8 AD - Berlin, Heidelberg EP - 547 TI - Cryptographic Protocol Explication and End-Point Projection PB - Springer-Verlag T2 - ESORICS '08: Proceedings of the 13th European Symposium on Research in Computer Security SP - 533 KW - 2008 KW - epp KW - ws-cdl AU - Mccarthy, Jay AU - Krishnamurthi, Shriram PY - 2008/// UR - http://dx.doi.org/10.1007/978-3-540-88313-5_34 ER -