Master Sciences, Technique, Santé

Nom de l’UE : Intégrité et Confidentialité des Systèmes d’Information

Nombre de crédits : 6

Contact :

Nom & Prénom(s) : BENBERNOU Salima et COULONDRE Stéphane

Tél. :

email :

Autre(s) intervenant(s) :

Contrôle des connaissances Examen ecrit ou expose en fonction du nombre d’inscrits

Programme – contenu détaillé de l’UE Buts de l’Intégrité et de la Confidentialité Enjeux, moyens et outils formels nécessaires Qelques outils explorés dans ce cours : Logique du 1^er Ordre, logique déontique TGDs/EGDs RBAC CTGDs Rappels LPO Les dépendances génératrices de tuples et d’égalité (TGDs/EGDs) Définition En formalisme LPO En formalisme des tableaux Application à l’Intégrité Limitation des procédures traditionnelles Inférences Bottom-Up Inférences Top-Down Les dépendances génératrices de tuples contraintes (CTGDs) Définitions En formalisme LPO avec contraintes Role-Based Access Control Application à la Confidentialité (et l’Intégrité étendue) Inférence Bottom-up Modélisation et Validation de RBAC Sécurité dans les systèmes d’informations distribués : WWW, middleware, les services Web Langages de spécification des politiques : étude du langage Rei basé sur la logique déontique Privacité versus sécurité Anonymité et k-Anonimity Bases de données hypocratiques Limitations, Perspectives Une implantation à réaliser / valider / tester sur un problème précis ? Compétences acquises Méthodologiques : Modélisation dans différents formalismes Caractéristiques, expressivité, décidabilité et limitations des formalismes et des inférences Techniques : Programmation logique RBAC Intégrité et confidentialité des SI/BD Privacité Anonymité