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.
Type de document :
Communication dans un congrès
PLACES 2016, Apr 2016, Eindhoven, Netherlands. EPTCS, 211, pp.12, 2016, Proceedings of the 9th workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. 〈10.4204/EPTCS.211.1〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01354905
Contributeur : Ilaria Castellani <>
Soumis le : samedi 20 août 2016 - 02:29:43
Dernière modification le : jeudi 11 janvier 2018 - 16:47:56
Document(s) archivé(s) le : lundi 21 novembre 2016 - 10:04:59

Fichier

topics-PLACES16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo De'Liguoro. Secure Multiparty Sessions with Topics. PLACES 2016, Apr 2016, Eindhoven, Netherlands. EPTCS, 211, pp.12, 2016, Proceedings of the 9th workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. 〈10.4204/EPTCS.211.1〉. 〈hal-01354905〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

40