{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:28:05Z","timestamp":1729618085643,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/cts.2012.6261087","type":"proceedings-article","created":{"date-parts":[[2012,8,8]],"date-time":"2012-08-08T17:09:50Z","timestamp":1344445790000},"page":"427-438","source":"Crossref","is-referenced-by-count":2,"title":["An environmental paradigm for defending security protocols"],"prefix":"10.1109","author":[{"given":"Maria-Camilla","family":"Fiazza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Peroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","article-title":"Security protocols as environments: A lesson from non-collaboration","author":"fiazza","year":"0","journal-title":"TrustCol'11"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/TIT.1983.1056650"},{"key":"12","first-page":"144","article-title":"Attack interference in non-collaborative scenarios for security protocol analysis","author":"fiazza","year":"2011","journal-title":"SECRYPT"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-68136-6","author":"bella","year":"2007","journal-title":"Formal Correctness of Security Protocols"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1016\/j.tcs.2011.04.006"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1007\/s10817-010-9185-y"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/s11416-007-0039-z"},{"year":"1997","author":"clark","journal-title":"A Survey of Authentication Protocol Literature V1 0","key":"7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/CSFW.1994.315934"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1016\/j.entcs.2004.05.020"},{"key":"4","first-page":"313","article-title":"Retaliation against protocol attacks","volume":"3","author":"bella","year":"2008","journal-title":"Journal of Information Assurance and Security"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1007\/BF03219974"},{"key":"8","first-page":"99","article-title":"Security properties: Two agents are sufficient","author":"comon-lundh","year":"2618","journal-title":"ESOP'03"}],"event":{"name":"2012 International Conference on Collaboration Technologies and Systems (CTS)","start":{"date-parts":[[2012,5,21]]},"location":"Denver, CO, USA","end":{"date-parts":[[2012,5,25]]}},"container-title":["2012 International Conference on Collaboration Technologies and Systems (CTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6247135\/6261004\/06261087.pdf?arnumber=6261087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,2]],"date-time":"2019-07-02T17:10:00Z","timestamp":1562087400000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6261087\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cts.2012.6261087","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}