Secure Multiparty Sessions with Topics

Abstract : Multiparty session calculi have been recently equipped with security requirements, in order to guarantee properties such as access control and leak freedom. However, the proposed security requirements seem to be overly restrictive in some cases. In particular, a party is not allowed to communicate any kind of public information after receiving a secret information. This does not seem justified in case the two pieces of information are totally unrelated. The aim of the present paper is to overcome this restriction, by designing a type discipline for a simple multiparty session calculus, which classifies messages according to their topics and allows unrestricted sequencing of messages on independent topics.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-01354905
Contributor : Ilaria Castellani <>
Submitted on : Saturday, August 20, 2016 - 2:29:43 AM
Last modification on : Thursday, January 11, 2018 - 4:47:56 PM
Document(s) archivé(s) le : Monday, November 21, 2016 - 10:04:59 AM

File

topics-PLACES16.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo De'Liguoro. Secure Multiparty Sessions with Topics. PLACES 2016, Dominic A. Orchard; Nobuko Yoshida, Apr 2016, Eindhoven, Netherlands. pp.12, ⟨10.4204/EPTCS.211.1⟩. ⟨hal-01354905⟩

Share

Metrics

Record views

190

Files downloads

62