The paper "Model-driven Information Flow Security for Component-Based Systems" by UJV/Verimag team members Najah Ben Said, Saddek Bensalem, Marius Bozga in collaboration with Takoua Abdellatif from Sousse University, Tunisia has been published in the proceedings of FPS'14 Workshop "From Programs to Systems - The Systems Perspectives in Computing".  The paper introduces secBIP, a formal framework for studying information flow security in component-based systems.  Two
variants of non-interference properties are formally introduced (dealing with respectively, events and data) and for both of them, sufficient conditions that ensures and simplifies the automated verification are proposed.   More information from the FPS'14 workshop proceedings.