{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:12:09Z","timestamp":1747807929947},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540235637"},{"type":"electronic","value":"9783540301912"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30191-2_21","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T16:14:16Z","timestamp":1285172056000},"page":"262-277","source":"Crossref","is-referenced-by-count":7,"title":["Sound Approximations to Diffie-Hellman Using Rewrite Rules"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Lynch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Meadows","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","volume-title":"Proc. 10th ACM Conference on Computer and Communications Security (CCS)","author":"M. Backes","year":"2003","unstructured":"Backes, M., Pfitzmann, B., Waidner, M.: A composable cryptographic library with nested operations (extended abstract). In: Proc. 10th ACM Conference on Computer and Communications Security (CCS), October 2003, ACM, New York (2003)"},{"key":"21_CR2","volume-title":"14th IEEE CSFW","author":"B. Blanchet","year":"2001","unstructured":"Blanchet, B.: An efficient cryptographic protocol verifier based on Prolog rules. In: 14th IEEE CSFW, June 2001, IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"21_CR3","volume-title":"Proc. 13th IEEE CSFW","author":"I. Cervesato","year":"2000","unstructured":"Cervesato, I., Durgin, N., Lincoln, P., Mitchell, J., Scedrov, A.: Relating strands and multiset rewriting for security protocol analysis. In: Proc. 13th IEEE CSFW, IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"21_CR4","unstructured":"Cervesato, I., Meadows, C., Syverson, P.: Dolev-Yao is no better than Machiavelli. In: First Workshop on Issues in the Theory of Security - WITS 2000 (2000)"},{"key":"21_CR5","first-page":"160","volume-title":"Proc. 1998 IEEE Symposium on Security and Privacy","author":"F. Thayer F\u00e1brega","year":"1998","unstructured":"Thayer F\u00e1brega, F., Herzog, J., Guttman, J.: Strand spaces: Why is a security protocol correct? In: Proc. 1998 IEEE Symposium on Security and Privacy, May 1998, pp. 160\u2013171. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"21_CR6","volume-title":"Proc. 13th CSFW","author":"J. Heather","year":"2000","unstructured":"Heather, J., Schneider, S., Lowe, G.: How to prevent type flaw attacks on security protocols. In: Proc. 13th CSFW, IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"21_CR7","volume-title":"Proc. 16th IEEE CSFW","author":"J. Herzog","year":"2003","unstructured":"Herzog, J.: The Diffie-Hellman protocol in the strand space model. In: Proc. 16th IEEE CSFW, IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Kaufman, C.: Internet key exchange (IKEv2) protocol. draft-ietf-ipsec-kev2-14.txt (January 2004), Available at \n                  \n                    http:\/\/www.watersprings.org\/pub\/id\/draft-ietfipsec-ikev2-14.txt","DOI":"10.17487\/rfc4306"},{"key":"21_CR9","unstructured":"Lynch, C., Meadows, C.: On the relative soundness of the free algebra model for public key encryption. In: WITS 2004 (April 2004) (to appear)"},{"key":"21_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-45620-1_37","volume-title":"Automated Deduction - CADE-18","author":"C. Lynch","year":"2002","unstructured":"Lynch, C., Morawska, B.: Basic syntactic mutation. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol.\u00a02392, pp. 471\u2013485. Springer, Heidelberg (2002)"},{"issue":"2","key":"21_CR11","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0743-1066(95)00095-X","volume":"26","author":"C. Meadows","year":"1995","unstructured":"Meadows, C.: The NRL Protocol Analyzer: an overview. Journal of Logic Programming\u00a026(2), 113\u2013131 (1995)","journal-title":"Journal of Logic Programming"},{"key":"21_CR12","volume-title":"Proc. FMSE 2003: Formal Methods in Security Engineering","author":"C. Meadows","year":"2003","unstructured":"Meadows, C.: Towards a hierarchy of cryptographic protocol specifications. In: Proc. FMSE 2003: Formal Methods in Security Engineering, ACM Press, New York (2003)"},{"issue":"6","key":"21_CR13","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0020-0190(03)00211-4","volume":"86","author":"J. Millen","year":"2003","unstructured":"Millen, J.: On the freedom of decryption. Information Processing Letters\u00a086(6), 329\u2013333 (2003)","journal-title":"Information Processing Letters"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/501983.502007","volume-title":"Proc. 8th ACM Conference on Computer and Communications Security (CCS 2001)","author":"J. Millen","year":"2001","unstructured":"Millen, J., Shmatikov, V.: Constraint solving for bounded process cryptographic protocol analysis. In: Proc. 8th ACM Conference on Computer and Communications Security (CCS 2001), pp. 166\u2013175. ACM Press, New York (2001)"},{"issue":"1","key":"21_CR15","doi-asserted-by":"crossref","first-page":"47","DOI":"10.3233\/JCS-2001-91-203","volume":"9","author":"D. Song","year":"2001","unstructured":"Song, D., Berizin, S., Perrig, A.: Athena: a novel approach to efficient automatic security analysis. Journal of Computer Security\u00a09(1), 47\u201374 (2001)","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Information and Communications Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30191-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:53:07Z","timestamp":1558291987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30191-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235637","9783540301912"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30191-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}