Contrôle d'accès tangible dans les bâtiments intelligents par suivi de flux déclaratifs
Résumé
Les bâtiments deviennent de plus en plus intelligents avec l'introduction d'innovations technologiques comme les réseaux de capteurs ou les compteurs électriques intelligents. Les bâtiments intelligents promettent de simplifier le quotidien mais collectent quantités de données personnelles, suscitant ainsi la méfiance des utilisateurs quant au respect de leur vie privée.
Les données observées prenant typiquement la forme de flux d'informations, les bâtiments intelligents peuvent donc naturellement être programmés par des systèmes de gestion de flux (DSMS -- DataStream Management System), des systèmes qui étendent la gestion de bases de données relationnelles classiques à des flux dynamiques de données et permettent l'exécution de requêtes continues sur ces flux.
Dans cet article, nous nous intéressons au contrôle de la dissémination de données privées collectées dans les bâtiments intelligents. Nous introduisons \emph{Tuple-Based Access Control} (TBAC), un modèle de contrôle d'accès qui suit les flux d'informations dans un DSMS. Les utilisateurs peuvent exprimer des politiques de sécurité simples à comprendre, intuitives et garanties sur leurs données qui les concernent. Quand les données sont combinées, leurs politiques de sécurité le sont également à grain fin, et le contrôle d'accès est ainsi disséminé à travers le système. Nous pensons qu'un tel modèle intuitif est nécessaire à l'adoption large des bâtiments intelligents; les cas d'usage de TBAC s'étendent cependant à d'autres scénarios de dissémination.