@phdthesis{Ben16b,
title = {Model-based Information Flow Security },
author = {Ben Said, Najah},
month = {Nov},
year = {2016},
type = {Theses},
school = {{Universit{\'e} Grenoble Alpes}},
team = {RSD},
}
