Vers la sécurité mobile : caractérisation des attaques et contremesures

Résumé : Ce manuscrit d’Habilitation à Diriger des Recherches présente une synthèse de mes travaux menés à l’INSA Centre Val de Loire dans le laboratoire LIFO (Laboratoire d’Informatique Fondamentale d’Orléans) depuis septembre 2005. Nous nous sommes intéressés à la sécurité de différents systèmes, depuis les systèmes à large échelle ou à hautes performances jusqu'à ceux qui sont embarqués comme les téléphones mobiles et les cartes à puce. Nos contributions sont structurées autour de trois axes. Dans un premier temps, nous abordons le problème de la conception de politiques de sécurité pour le contrôle d'accès pour des systèmes hautes performances ou collaboratifs. Dans un second temps, nous explorons la problématique de l'intégrité du flot de contrôle. Les contributions présentées permettent tout à la fois d'élaborer des attaques ou des contremesures pour les malware Android et les cartes à puce, dont les garanties sont prouvées formellement. Enfin, dans la dernière partie nous nous intéressons à la problématique de la protection des données personnelles dans le contexte particulier de la téléphonie mobile. Pour ces systèmes, des contremesures pour traiter les attaques par canaux auxiliaires ainsi qu'un protocole respectueux de la vie privée sont proposés.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

https://hal-univ-orleans.archives-ouvertes.fr/tel-01445558
Contributor : Jean-François Lalande <>
Submitted on : Saturday, April 22, 2017 - 2:42:53 PM
Last modification on : Tuesday, November 19, 2019 - 4:46:42 PM
Long-term archiving on: Sunday, July 23, 2017 - 12:11:54 PM

Identifiers

  • HAL Id : tel-01445558, version 2

Citation

Jean-François Lalande. Vers la sécurité mobile : caractérisation des attaques et contremesures. Cryptographie et sécurité [cs.CR]. Université d'Orléans, 2016. ⟨tel-01445558v2⟩

Share

Metrics

Record views

553

Files downloads

2445