Relating Process Languages for Security and Communication Correctness (Extended Abstract) - Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2018)
Conference Papers Year : 2018

Relating Process Languages for Security and Communication Correctness (Extended Abstract)

Abstract

Process calculi are expressive specification languages for concurrency. They have been very successful in two research strands: (a) the analysis of security protocols and (b) the enforcement of correct message-passing programs. Despite their shared foundations, languages and reasoning techniques for (a) and (b) have been separately developed. Here we connect two representative calculi from (a) and (b): we encode a (high-level) $$\pi $$-calculus for multiparty sessions into a (low-level) applied $$\pi $$-calculus for security protocols. We establish the correctness of our encoding, and we show how it enables the integrated analysis of security properties and communication correctness by re-using existing tools.
Fichier principal
Vignette du fichier
469043_1_En_5_Chapter.pdf (578.87 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01824820 , version 1 (27-06-2018)

Licence

Identifiers

Cite

Daniele Nantes, Jorge A. Pérez. Relating Process Languages for Security and Communication Correctness (Extended Abstract). 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.79-100, ⟨10.1007/978-3-319-92612-4_5⟩. ⟨hal-01824820⟩
63 View
37 Download

Altmetric

Share

More