Towards securing pervasive computing systems by design: a language approach - TEL - Thèses en ligne Access content directly
Theses Year : 2011

Towards securing pervasive computing systems by design: a language approach

Abstract

A growing number of environments is being populated with a range of networked devices. Applications leverage these devices to support everyday activities in a variety of areas (e.g., home automation and patient monitoring). As these devices and applications get woven into our everyday activities, they become critical: their failure can put people and assets at risk. Failures can be caused by malicious attacks and misbehaving applications. Although the impact of such situations can be major, security concerns are often considered a secondary issue in the development process, and treated with ad hoc approaches. This thesis proposes to address security concerns throughout the development lifecycle of a pervasive computing system. Security is addressed at design time thanks to dedicated, high-level declarations. These declarations are processed to implement security mechanisms, and to generate programming support to ease the development of the security logic, while keeping it separate from the application logic. Our approach is studied in the context of access control and privacy concerns. Our work has been implemented and leverages an existing software-design language and a suite of tools that covers the software development lifecycle.
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.
Fichier principal
Vignette du fichier
These-Henner_JAKOB.pdf (1.19 Mo) Télécharger le fichier
Loading...

Dates and versions

tel-00719170 , version 1 (19-07-2012)

Identifiers

  • HAL Id : tel-00719170 , version 1

Cite

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. ⟨NNT : ⟩. ⟨tel-00719170⟩

Collections

CNRS INRIA INRIA2
220 View
663 Download

Share

Gmail Mastodon Facebook X LinkedIn More