A model-based approach to secure multi-party distributed systems
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 OctDisplayed time zone: Eastern Time (US & Canada) change
13:30 - 15:00 | |||
13:30 20mTalk | Deny Capabilities for Safe, Fast Actors AGERE! Media Attached | ||
13:50 20mTalk | Optimizing Communicating Event-Loop Languages with Truffle AGERE! Link to publication Pre-print Media Attached | ||
14:10 20mTalk | Actario: A Framework for Reasoning About Actor Systems AGERE! Link to publication Pre-print Media Attached | ||
14:30 20mTalk | A model-based approach to secure multi-party distributed systems AGERE! Najah Ben Said Verimag, Takoua Abdellatif University of Sousse, Saddek Bensalem Verimag, Marius Bozga Verimag/CNRS |