Towards securing pervasive computing systems by design: a language approach

Henner Jakob 1
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Résumé : Dans de multiples domaines, un nombre grandissant d'applications interagissant avec des entités ommunicantes apparaissent dans l'environnement pour faciliter les activités quotidiennes (domotique et télémédecine). Leur impact sur la vie de tous les jours des utilisateurs rend ces applications critiques: leur défaillance peut mettre en danger des personnes et leurs biens. Bien que l'impact de ces défaillances puisse être majeur, la sécurité est souvent considérée comme un problème secondaire dans le processus de développement et est traitée par des approches ad hoc. Cette thèse propose d'intégrer des aspects de sécurité dans le cycle de développement des systèmes d'informatique ubiquitaire. La sécurité est spécifiée à la conception grâce à des déclarations dédiées et de haut niveau. Ces déclarations sont utilisées pour générer un support de programmation afin de faciliter l'implémentation des mécanismes de sécurité, tout en séparant ces aspects de sécurité de la logique applicative. Notre approche se concentre sur le contrôle d'accès aux entités et la protection de la vie privée. Notre travail a été implémenté et fait levier sur une suite outillée existante couvrant le cycle de développement logiciel.
Type de document :
Thèse
Informatique et langage [cs.CL]. Université Sciences et Technologies - Bordeaux I, 2011. Français
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00719170
Contributeur : Chrystel Plumejeau <>
Soumis le : jeudi 19 juillet 2012 - 11:17:34
Dernière modification le : jeudi 10 septembre 2015 - 01:08:59
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 01:31:28

Identifiants

  • HAL Id : tel-00719170, version 1

Collections

Citation

Henner Jakob. Towards securing pervasive computing systems by design: a language approach. Informatique et langage [cs.CL]. Université Sciences et Technologies - Bordeaux I, 2011. Français. <tel-00719170>

Partager

Métriques

Consultations de
la notice

232

Téléchargements du document

576