{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:24:18Z","timestamp":1729657458353,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/crisis.2010.5764919","type":"proceedings-article","created":{"date-parts":[[2011,5,10]],"date-time":"2011-05-10T17:59:27Z","timestamp":1305050367000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Satisfiability of general intruder constraints with a set constructor"],"prefix":"10.1109","author":[{"given":"Tigran","family":"Avanesov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannick","family":"Chevalier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Rusinowitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Turuani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"87","article-title":"Dolev-Yao is no better than Machiavelli","author":"syverson","year":"2000","journal-title":"First Workshop on Issues in the Theory of Security WITS'00"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00490-5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.01.015"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24725-8_25"},{"key":"ref14","first-page":"133","article-title":"Towards an automatic analysis of web service security","volume":"4720","author":"chevalier","year":"2007","journal-title":"FroCoS 2007"},{"journal-title":"OWASP-DV-008 OWASP Testing Guide v3 0","year":"2008","key":"ref15"},{"article-title":"Satisfiability of General Intruder Constraints with and without a Set Constructor","year":"0","author":"avanesov","key":"ref16"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"414","DOI":"10.1007\/978-3-540-70545-1_38","article-title":"The Scyther Tool: Verification, falsification, and analysis of security protocols","volume":"5123","author":"cremers","year":"2008","journal-title":"International Conference on Computer-Aided Verification"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/11805618_21","article-title":"The CL-Atse Protocol Analyser","author":"turuani","year":"2006","journal-title":"Term Rewriting and Applications"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/JCS-2006-14101","article-title":"A survey of algebraic properties used in cryptographic protocols","volume":"14","author":"cortier","year":"2006","journal-title":"Journal of Computer Security"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11591191_38"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.022"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.07.005"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0055-7"},{"journal-title":"Computational Soundness of Symbolic Models for Cryptographic Protocols","year":"2006","author":"mazar\u00e9","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/501983.502007"}],"event":{"name":"2010 5th International Conference on Risk and Security of Internet and Systems (CRISIS)","start":{"date-parts":[[2010,10,10]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2010,10,13]]}},"container-title":["2010 Fifth International Conference on Risks and Security of Internet and Systems (CRiSIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5759761\/5764913\/05764919.pdf?arnumber=5764919","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T17:46:22Z","timestamp":1560188782000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5764919\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/crisis.2010.5764919","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}