Master Sciences, Technique, Santé

Contrôle des connaissances

Contrôle continu :	Examen terminal : coefficient 1
Type de l’UE Optionnelle   : Oui Formation : Master Recherche informatique Parcours : Technologie de l’Information et Web Place de l’UE dans le parcours : M2 semestre : S3 Modalités d’accès à l’UE (pré-requis conseillés) : non lesquels :
Programme – contenu de l’UE Buts de l’Intégrité et de la Confidentialité Enjeux, moyens et outils formels nécessaires Quelques outils explorés dans ce cours : Logique du 1^er Ordre, logique déontique TGDs/EGDs RBAC CTGDs 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 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é