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 :
Theses
Complete list of metadatas

Cited literature [83 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00719170
Contributor : Chrystel Plumejeau <>
Submitted on : Thursday, July 19, 2012 - 11:17:34 AM
Last modification on : Tuesday, February 5, 2019 - 3:26:04 PM
Long-term archiving on : Friday, December 16, 2016 - 1:31:28 AM

Identifiers

  • HAL Id : tel-00719170, version 1

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⟩

Share

Metrics

Record views

314

Files downloads

903