{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:40:26Z","timestamp":1774946426011,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540206804","type":"print"},{"value":"9783540245971","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24597-1_11","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T03:39:20Z","timestamp":1280374760000},"page":"124-135","source":"Crossref","is-referenced-by-count":53,"title":["Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents"],"prefix":"10.1007","author":[{"given":"Yannick","family":"Chevalier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"K\u00fcsters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u00ebl","family":"Rusinowitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Turuani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1016\/S0304-3975(02)00090-7","volume":"290","author":"R. Amadio","year":"2002","unstructured":"Amadio, R., Lugiez, D., Vanackere, V.: On the symbolic reduction of processes with cryptographic functions. Theoretical Computer Science\u00a0290(1), 695\u2013740 (2002)","journal-title":"Theoretical Computer Science"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1016\/B978-044450813-3\/50014-X","volume-title":"Handbook of Automated Reasoning","author":"A. Bockmayr","year":"2001","unstructured":"Bockmayr, A., Weispfenning, V.: Solving numerical constraints. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning,\u00a0ch. 12, vol.1, pp. 751\u2013842. Elsevier Science, Amsterdam (2001)"},{"key":"11_CR3","unstructured":"Boreale, M., Buscemi, M.G.: On the symbolic analysis of low-level cryptographic primitives: Modular exponentiation and the Diffie-Hellman protocol. In: Proc. of FCS 2003 (2003)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Chevalier, Y., K\u00fcsters, R., Rusinowitch, M., Turuani, M.: Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. Technical Report 0305, CAU Kiel, Germany (2003), Available from http:\/\/www.informatik.uni-kiel.de\/reports\/2003\/0305.html","DOI":"10.1007\/978-3-540-24597-1_11"},{"key":"11_CR5","unstructured":"Chevalier, Y., K\u00fcsters, R., Rusinowitch, M., Turuani, M.: An NP Decision Procedure for Protocol Insecurity with XOR. In: Proc. of LICS 2003 (2003)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Comon-Lundh, H., Shmatikov, V.: Intruder deductions, constraint solving and insecurity decision in presence of exclusive. In: Proc. of LICS 2003 (2003)","DOI":"10.1109\/LICS.2003.1210067"},{"key":"11_CR7","unstructured":"Meadows, C., Narendran, P.: A unification algorithm for the group Diffie- Hellman protocol. In: Proc. of WITS 2002 (2002)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Millen, J., Shmatikov, V.: Symbolic protocol analysis with products and Diffie- Hellman exponentiation. In: Proc. of CSFW 16 (2003)","DOI":"10.1109\/CSFW.2003.1212704"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Pereira, O., Quisquater, J.-J.: A Security Analysis of the Cliques Protocols Suites. In: Proc. of CSFW-14, pp. 73\u201381 (2001)","DOI":"10.1109\/CSFW.2001.930137"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24597-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:42:47Z","timestamp":1559331767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24597-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206804","9783540245971"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24597-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}