salle A. Turing CE4
6 February 2014 - 14h00
Information Flow Security in Component-Based Systems.
by Najah Ben Said from Verimag
Abstract: The amount and complexity of nowadays conceived systems and software knows a continuous increase and ensuring information security in these systems is also paramount. Information flow security policies are very adequate and quite used to track the circulation of sensitive information throughout the system. The application of global constraints on the system?s information flow allows to ensure event and data confidentiality and integrity. In this talk, i will present an extended framework for automated information flow security in component-based systems following the model-driven security (MDS) approach. The security extension is based on sufficient syntactic constraints formally proved, ensuring automatic verification and secure code generation.