{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T23:40:15Z","timestamp":1749944415256,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csfw.2003.1212716","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"234-247","source":"Crossref","is-referenced-by-count":15,"title":["The Diffie-Hellman key-agreement scheme in the strand-space model"],"prefix":"10.1109","author":[{"given":"J.C.","family":"Herzog","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930137"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1999.779763"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-1999-72-304","article-title":"Strand spaces: Proving security protocols correct","volume":"7","author":"javier thayer f\u00e1brega","year":"1999","journal-title":"Journal of Computer Security"},{"key":"ref13","article-title":"SSH transport layer prototcol","author":"ylonen","year":"1997","journal-title":"Internet draft"},{"key":"ref4","first-page":"48","article-title":"The decision Diffie-Hellman problem","author":"boneh","year":"1998","journal-title":"Proceedings of the Third Algorithmic Number Theory Symposium number 1423 in Lecture Notes in Computer Science"},{"key":"ref3","article-title":"A universally composable cryptographic library","author":"backes","year":"2003","journal-title":"Available at?http"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref5","article-title":"The TLS protocol","author":"dierks","year":"1999","journal-title":"RFC 2246"},{"key":"ref8","article-title":"The faithfulness of abstract protocol analysis: Message authentication","author":"guttman","year":"2003","journal-title":"Journal of Computer Security"},{"key":"ref7","article-title":"Lecture notes on cryptography","author":"goldwasser","year":"1999","journal-title":"Avaliable at"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-001-0014-7"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45500-0_4","article-title":"Formal eavesdropping and its computational interpretation","volume":"2215","author":"abadi","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"ref9","article-title":"Computational soundness of formal adversaries","author":"jonathan","year":"2002","journal-title":"Massachusetts Institute of Technology"}],"event":{"name":"16th IEEE Computer Security Foundations Workshop","acronym":"CSFW-03","location":"Pacific Grove, CA, USA"},"container-title":["16th IEEE Computer Security Foundations Workshop, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8606\/27273\/01212716.pdf?arnumber=1212716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:55:06Z","timestamp":1523235306000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1212716\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/csfw.2003.1212716","relation":{},"subject":[]}}