Secure Multiparty Sessions with Topics

Autor: Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 1-12 (2016)

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 p

Externí odkaz: https://doaj.org/article/b64dff4262894a6b9e91de916ccfb4ef

Information Flow Safety in Multiparty Sessions

Autor: Mariangiola Dezani-Ciancaglini, Ilaria Castellani, Sara Capecchi

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 64, Iss Proc. EXPRESS 2011, Pp 16-30 (2011)

We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks the execution of processes as soon as they attempt to leak information. We illustrate the use

Externí odkaz: https://doaj.org/article/b2834c3c60d841db95146751218e1756

Preface to the special issue on Open Problems in Concurrency Theory

Autor: Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova

Publikováno v: Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, 2023, 130, pp.100823. ⟨10.1016/j.jlamp.2022.100823⟩

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4123f2d901c084590b75859cb10c4e4b
https://inria.hal.science/hal-03970947

Reversible sessions with flexible choices

Autor: Ilaria Castellani, Paola Giannini, Mariangiola Dezani-Ciancaglini

Publikováno v: Acta Informatica
Acta Informatica, 2019, 56 (7-8), pp.553-583. ⟨10.1007/s00236-019-00332-y⟩

International audience; We propose a calculus for concurrent reversible multiparty sessions, equipped with a flexible choice operator allowing for different sets of participants in each branch. This operator is inspired by the notion of connecting ac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13d9fd4133aad8002df70f53c498d9e6
https://doi.org/10.1007/s00236-019-00332-y

Global types with internal delegation

Autor: Mariangiola Dezani-Ciancaglini, Ilaria Castellani, Paola Giannini, Ross Horne

Publikováno v: Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2020, 807, pp.26. ⟨10.1016/j.tcs.2019.09.027⟩
Theoretical Computer Science, 2020, 807, pp.26. ⟨10.1016/j.tcs.2019.09.027⟩

International audience; This paper investigates a new form of delegation for multiparty session calculi. Usually, delegation allows a session participant to appoint a participant in another session to act on her behalf. This means that delegation is

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d35969b2ada992959363f6a19270ac7
https://hal.inria.fr/hal-02419937/document