Mostrar el registro sencillo del ítem

dc.contributor.advisorConsel, Charles
dc.contributor.authorJAKOB, Henner
dc.contributor.otherLoriant, Nicolas
dc.date2011-06-27
dc.date.accessioned2020-12-14T21:09:58Z
dc.date.available2020-12-14T21:09:58Z
dc.identifier.urihttp://ori-oai.u-bordeaux1.fr/pdf/2011/JAKOB_HENNER_2011.pdf
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/21535
dc.identifier.nnt2011BOR14269
dc.description.abstractDans de multiples domaines, un nombre grandissant d'applications interagissant avec des entités communicantes 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.
dc.description.abstractEnA 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.
dc.language.isoen
dc.subjectInformatique ubiquitaire
dc.subjectSécurité
dc.subjectContrôle d'accès
dc.subjectLangage dédié
dc.subjectGénie logiciel
dc.subject.enUbiquitous computing
dc.subject.enSecurity
dc.subject.enAccess control
dc.subject.enDomain-specific language
dc.subject.enSoftware engineering
dc.titleVers la sécurisation des systèmes d'informatique ubiquitaire par le design : une approche langage
dc.title.enTowards securing pervasive computing systems by design : a language approach
dc.typeThèses de doctorat
dc.contributor.jurypresidentChaumette, Serge
bordeaux.hal.laboratoriesThèses de l'Université de Bordeaux avant 2014*
bordeaux.hal.laboratoriesLaboratoire bordelais de recherche en informatique
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.type.institutionBordeaux 1
bordeaux.thesis.disciplineInformatique
bordeaux.ecole.doctoraleÉcole doctorale de mathématiques et informatique (Talence, Gironde)
star.origin.linkhttps://www.theses.fr/2011BOR14269
dc.contributor.rapporteurHollick, Matthias
dc.contributor.rapporteurLalanda, Philippe
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=Vers%20la%20s%C3%A9curisation%20des%20syst%C3%A8mes%20d'informatique%20ubiquitaire%20par%20le%20design%20:%20une%20approche%20langage&rft.atitle=Vers%20la%20s%C3%A9curisation%20des%20syst%C3%A8mes%20d'informatique%20ubiquitaire%20par%20le%20design%20:%20une%20approche%20langage&rft.au=JAKOB,%20Henner&rft.genre=unknown


Archivos en el ítem

ArchivosTamañoFormatoVer

No hay archivos asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem