ITU

Sessions and Separability in Security Protocols

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Standard

Sessions and Separability in Security Protocols. / Carbone, Marco; Guttman, Joshua.

Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, . Vol. 7796 Springer Publishing Company, 2013. p. 267-286.

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Harvard

Carbone, M & Guttman, J 2013, Sessions and Separability in Security Protocols. in Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, . vol. 7796, Springer Publishing Company, pp. 267-286.

APA

Carbone, M., & Guttman, J. (2013). Sessions and Separability in Security Protocols. In Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, (Vol. 7796, pp. 267-286). Springer Publishing Company.

Vancouver

Carbone M, Guttman J. Sessions and Separability in Security Protocols. In Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, . Vol. 7796. Springer Publishing Company. 2013. p. 267-286

Author

Carbone, Marco ; Guttman, Joshua. / Sessions and Separability in Security Protocols. Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, . Vol. 7796 Springer Publishing Company, 2013. pp. 267-286

Bibtex

@inproceedings{6b09fa5dcf7f469794f52b9e3471623f,
title = "Sessions and Separability in Security Protocols",
abstract = "Despite much work on sessions and session types in non- adversarial contexts, session-like behavior given an active adversary has not received an adequate definition and proof methods. We provide a syntactic property that guarantees that a protocol has session-respecting executions. Any uncompromised subset of the participants are still guar- anteed that their interaction will respect sessions. A protocol transfor- mation turns any protocol into a session-respecting protocol.We do this via a general theory of separability. Our main theorem ap- plies to different separability requirements, and characterizes when we can separate protocol executions sufficiently to meet a particular require- ment. This theorem also gives direct proofs of some old and new protocol composition results. Thus, our theory of separability appears to cover protocol composition and session-like behavior within a uniform frame- work, and gives a general pattern for reasoning about independence.",
author = "Marco Carbone and Joshua Guttman",
year = "2013",
language = "English",
isbn = "978-3-642-36829-5",
volume = "7796",
pages = "267--286",
booktitle = "Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,",
publisher = "Springer Publishing Company",
address = "United States",

}

RIS

TY - GEN

T1 - Sessions and Separability in Security Protocols

AU - Carbone, Marco

AU - Guttman, Joshua

PY - 2013

Y1 - 2013

N2 - Despite much work on sessions and session types in non- adversarial contexts, session-like behavior given an active adversary has not received an adequate definition and proof methods. We provide a syntactic property that guarantees that a protocol has session-respecting executions. Any uncompromised subset of the participants are still guar- anteed that their interaction will respect sessions. A protocol transfor- mation turns any protocol into a session-respecting protocol.We do this via a general theory of separability. Our main theorem ap- plies to different separability requirements, and characterizes when we can separate protocol executions sufficiently to meet a particular require- ment. This theorem also gives direct proofs of some old and new protocol composition results. Thus, our theory of separability appears to cover protocol composition and session-like behavior within a uniform frame- work, and gives a general pattern for reasoning about independence.

AB - Despite much work on sessions and session types in non- adversarial contexts, session-like behavior given an active adversary has not received an adequate definition and proof methods. We provide a syntactic property that guarantees that a protocol has session-respecting executions. Any uncompromised subset of the participants are still guar- anteed that their interaction will respect sessions. A protocol transfor- mation turns any protocol into a session-respecting protocol.We do this via a general theory of separability. Our main theorem ap- plies to different separability requirements, and characterizes when we can separate protocol executions sufficiently to meet a particular require- ment. This theorem also gives direct proofs of some old and new protocol composition results. Thus, our theory of separability appears to cover protocol composition and session-like behavior within a uniform frame- work, and gives a general pattern for reasoning about independence.

M3 - Article in proceedings

SN - 978-3-642-36829-5

VL - 7796

SP - 267

EP - 286

BT - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,

PB - Springer Publishing Company

ER -

ID: 39412823