Mon 26 Oct 2015 14:30 - 14:50 at Grand Station 4 - Session 3 - Types and Verification

Securing Multi-party distributed systems is still a challenge. In such distributed systems with completely distributed interactions between parties with mutual distrust, it is hard to control private information illicit flowing to unintended parties. Unlike some existent solutions dealing with low-level cryptographic protocol verifications in multi-party interactions, we propose a novel approach based model transformations to build a secure-by-construction multi-party distributed system. The user has only to describe his system in a component-based model with multiparty interactions and annotate these components and interactions to define the system security policy. The system security is checked and when valid, the security code is automatically generated. To validate the approach, we present a framework that implements our method and use it to secure an existent online social network application.

Mon 26 Oct

13:30 - 15:00: AGERE - Session 3 - Types and Verification at Grand Station 4
agere201513:30 - 13:50
Sylvan ClebschImperial College London, Sophia DrossopoulouImperial College London
Media Attached
agere201513:50 - 14:10
Stefan MarrINRIA, France, Hanspeter MössenböckJohannes Kepler University Linz
Link to publication Pre-print Media Attached
agere201514:10 - 14:30
Shohei YasutakeTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication Pre-print Media Attached
agere201514:30 - 14:50
Najah Ben SaidVerimag, Takoua AbdellatifUniversity of Sousse, Saddek BensalemVerimag, Marius BozgaVerimag/CNRS