these

UNIVERSITÉ DE NICE-SOPHIA ANTIPOLIS - UFR SciencesÉcole Doctorale des Sciences et Technologies de l’Information et de laCommunicationT H E S Epour obtenir le titre deDocteur en Sciencesde l’Université de Nice-Sophia AntipolisSpécialité: InformatiquePréparée à l’Institut National de Recherche enInformatique et en Automatique de Sophia Antipolis,OASIS Projectprésentée et soutenue parFelipe LUNA DEL AGUILAINFORMATION FLOW SECURITY FOR ASYNCHRONOUS,DISTRIBUTED, AND MOBILE APPLICATIONSThèse dirigée par Isabelle ATTALISoutenue publiquement le 7 octobre 2005à l’École Supérieure en Sciences Informatiquesde Sophia Antipolisdevant le jury composé de :Michaël RUSINOWITCH Président LORIAThomas JENSEN Rapporteur CNRS / IRISAJosé de Jésus VAZQUEZ GOMEZ ITESMDenis CAROMEL Examinateur INRIA Sophia AntipolisGiuseppe CASTAGNA CNRS / ENSRoberto GIACOBAZZI Examinateur Università degli Studi di VeronaUNIVERSITÉ DE NICE-SOPHIA ANTIPOLIS - UFR SciencesÉcole Doctorale des Sciences et Technologies de l’Information et de laCommunicationT H E S Epour obtenir le titre deDocteur en Sciencesde l’Université de Nice-Sophia AntipolisSpécialité: InformatiquePréparée à l’Institut National de Recherche enInformatique et en Automatique de Sophia Antipolis,Projet OASISprésentée et soutenue parFelipe LUNA DEL AGUILASÉCURITÉ PAR CONTRÔLE DE FLUX D’APPLICATIONSASYNCHRONES, DISTRIBUÉES ET MOBILESThèse dirigée par Isabelle ATTALISoutenue publiquement le 7 octobre 2005à ...