Skip to Main content Skip to Navigation

Towards securing pervasive computing systems by design: a language approach

Henner Jakob 1
1 Phoenix - Programming Language Technology For Communication Services
EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux], Inria Bordeaux - Sud-Ouest, LaBRI - Laboratoire Bordelais de Recherche en Informatique
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.
Document type :
Complete list of metadata

Cited literature [83 references]  Display  Hide  Download
Contributor : Chrystel Plumejeau Connect in order to contact the contributor
Submitted on : Thursday, July 19, 2012 - 11:17:34 AM
Last modification on : Friday, October 23, 2020 - 4:38:51 PM
Long-term archiving on: : Friday, December 16, 2016 - 1:31:28 AM


  • HAL Id : tel-00719170, version 1



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⟩



Record views


Files downloads