@phdthesis{assaf:tel-01184857, TITLE = {{From qualitative to quantitative program analysis : permissive enforcement of secure information flow}}, AUTHOR = {Assaf, Mounir}, URL = {https://theses.hal.science/tel-01184857}, NUMBER = {2015REN1S003}, SCHOOL = {{Universit{\'e} Rennes 1}}, YEAR = {2015}, MONTH = May, KEYWORDS = {Information Flow Control ; Program Analysis ; Information Security ; Qualitative Information Flow ; Quantitative Information Flow ; Relative Secrecy ; Min-Capacity ; Contr{\^o}le de Flux d'Information ; Analyse de Programmes ; S{\'e}curit{\'e} de l'Information ; Non-Interf{\'e}rence ; Quantification des Flux d'Information}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-01184857/file/ASSAF_Mounir.pdf}, HAL_ID = {tel-01184857}, HAL_VERSION = {v1}, }