{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T20:50:35Z","timestamp":1765486235517},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/csf.2018.00034","type":"proceedings-article","created":{"date-parts":[[2018,8,9]],"date-time":"2018-08-09T22:10:14Z","timestamp":1533852614000},"page":"374-388","source":"Crossref","is-referenced-by-count":9,"title":["A Typing Result for Stateful Protocols"],"prefix":"10.1109","author":[{"given":"Andreas","family":"Hess","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Modersheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Integrating automated and interactive nrotocol verification","author":"brucker","year":"2009","journal-title":"FAST"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2015.20"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44584-6_26"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0059-4"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78636-8_3","article-title":"Operational Semantics and Verification of Security Protocols","author":"cremers","year":"2012","journal-title":"Information Security and Cryptography"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9202-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2003-11204"},{"key":"ref17","article-title":"Formalizing and Proving a Typing Result for Security Protocols in Isabelle\/HOL","author":"hess","year":"2017","journal-title":"CSF 2017"},{"key":"ref18","article-title":"A typing result for stateful protocols","author":"hess","year":"2018","journal-title":"Extended version and Isabelle proofs"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-160556"},{"key":"ref4","first-page":"267","article-title":"The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures","author":"armando","year":"2012","journal-title":"TACAS 2012"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1999-72-304"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.10"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00490-5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0055-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-007-0041-y"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-005-9018-6"},{"key":"ref7","article-title":"Formal Correctness of Security Protocols - With 62 Figures and 4 Tables","author":"bella","year":"2007","journal-title":"Information Security and Crvntozranhv"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.09.003"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.018"},{"key":"ref1","first-page":"209","article-title":"Typing and compositionality for security protocols: A generalization to the geometric fragment","author":"almousa","year":"2015","journal-title":"Journal O S A and R S I"},{"key":"ref20","article-title":"The TAMARIN prover for the symbolic analysis of security protocols","author":"meier","year":"2013","journal-title":"CAV 2013"},{"key":"ref22","article-title":"Abstraction by set-membership: verifying security protocols and web services with databases","author":"m\u00f6dersheim","year":"2010","journal-title":"CCSW 2010"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/501983.502007"},{"key":"ref24","article-title":"AIF-w: Set-based protocol abstraction with countable families","author":"modersheirm","year":"2016","journal-title":"POST 2016"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33167-1_8"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/322510.322530"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1998-61-205"}],"event":{"name":"2018 IEEE 31st Computer Security Foundations Symposium (CSF)","start":{"date-parts":[[2018,7,9]]},"location":"Oxford","end":{"date-parts":[[2018,7,12]]}},"container-title":["2018 IEEE 31st Computer Security Foundations Symposium (CSF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8428826\/8429284\/08429318.pdf?arnumber=8429318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T15:06:56Z","timestamp":1643209616000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8429318\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/csf.2018.00034","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}