dc.contributor.author | Hess, AV | |
dc.contributor.author | Mödersheim, SA | |
dc.contributor.author | Brucker, AD | |
dc.date.accessioned | 2019-12-09T13:55:06Z | |
dc.date.issued | 2018-08-08 | |
dc.description.abstract | We prove a parallel compositionality result for protocols with a shared mutable state, i.e., stateful protocols. For protocols satisfying certain compositionality conditions our result shows that verifying the component protocols in isolation is sufficient to prove security of their composition. Our main contribution is an extension of the compositionality paradigm to stateful protocols where participants maintain shared databases. Because of the generality of our result we also cover many forms of sequential composition as a special case of stateful parallel composition. Moreover, we support declassification of shared secrets. As a final contribution we prove the core of our result in Isabelle/HOL, providing a strong correctness guarantee of our proofs. | en_GB |
dc.description.sponsorship | Danish Council for Independent Research. | en_GB |
dc.identifier.citation | Vol. 11098 LNCS, pp. 427 - 446. European Symposium on Research in Computer Security ESORICS 2018: Computer Security | en_GB |
dc.identifier.doi | 10.1007/978-3-319-99073-6_21 | |
dc.identifier.grantnumber | 4184-00334B | en_GB |
dc.identifier.uri | http://hdl.handle.net/10871/40037 | |
dc.language.iso | en | en_GB |
dc.publisher | Springer Verlag (Germany) | en_GB |
dc.rights | © Springer Nature Switzerland AG 2018. | en_GB |
dc.title | Stateful protocol composition | en_GB |
dc.type | Conference proceedings | en_GB |
dc.date.available | 2019-12-09T13:55:06Z | |
dc.identifier.isbn | 9783319990729 | |
dc.identifier.issn | 0302-9743 | |
dc.description | This is the author accepted manuscript. The final version is available from the publisher via the DOI in this record | en_GB |
dc.identifier.journal | Lecture Notes in Computer Science | en_GB |
dc.rights.uri | http://www.rioxx.net/licenses/all-rights-reserved | en_GB |
dcterms.dateAccepted | 2018-03-20 | |
rioxxterms.version | AM | en_GB |
rioxxterms.licenseref.startdate | 2018-01-01 | |
rioxxterms.type | Conference Paper/Proceeding/Abstract | en_GB |
refterms.dateFCD | 2019-12-09T13:52:48Z | |
refterms.versionFCD | AM | |
refterms.dateFOA | 2019-12-09T13:55:10Z | |
refterms.panel | B | en_GB |