Détection d'intrusions paramétrée par la politique par contrôle de flux de références

Nous proposons une approche de la d'tection d'intrusions orient'e politique bas'e sur un contr"le de flux d'informations. Nous construisons un modSle formel du systSme d'exploitation sous forme de canaux de flux d'informations et nous exprimons une politique de confidentialit' et d'int'grit' sous forme d'un ensemble de domaines, c'est . dire de graphes de flux l'gaux. Nous en d'duisons alors un al…