@inproceedings{SAB+4,
title = {Model-driven Information Flow Security for Component-Based Systems },
author = {Said, Najah Ben and Abdellatif, Takoua and Bensalem, Saddek and Bozga, Marius},
month = {April},
year = {2014},
booktitle = {Proceedings of FPS'14 - From Programs to Systems - The Systems Perspective in Computing, ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {8415},
team = {DCS, RSD},
}