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

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Session 3 - Types and VerificationAGERE! at Grand Station 4
13:30
20m
Talk
Deny Capabilities for Safe, Fast Actors
AGERE!
Sylvan Clebsch Imperial College London, Sophia Drossopoulou Imperial College London
Media Attached
13:50
20m
Talk
Optimizing Communicating Event-Loop Languages with Truffle
AGERE!
Stefan Marr INRIA, France, Hanspeter Mössenböck Johannes Kepler University Linz
Link to publication Pre-print Media Attached
14:10
20m
Talk
Actario: A Framework for Reasoning About Actor Systems
AGERE!
Shohei Yasutake Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication Pre-print Media Attached
14:30
20m
Talk
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