Trust solutions for security in the Internet of Things
Solutions de confiance pour la sécurité dans l’Internet des Objets
Résumé
In this thesis, we propose an original continuous remote attestation framework to improve trust and security in networks of connected objects. This framework allows connected objects to use any existing remote attestation protocol and adapt the one to be used according to the environment in which they are located. This thesis first presents a detailed state of the art of remote attestation, whether it is the approaches centered on hardware components, those based on software-only solutions, and finally hybrid solutions that include both hardwareand software aspects. This thesis then details CRAFT, the first continuous remote attestation framework. CRAFT is based on a set of messages allowing to meet different functional and security requirements. It is based on a generic definition of a network and is also subject to a security analysis to show its resilience to attacks on connected object networks. Finally, we evaluate our proposal using the discrete event simulator Omnet++. These simulations are based on a robust statistical methodology and highlight the good results of the framework.
Dans cette thèse, nous proposons un framework original d’attestation continue à distance qui permet d’améliorer la confiance et la sécurité au sein de réseaux d’objets connectés. Ce framework permet à des objets connectés d’utiliser n’importe quelle solution d’attestation à distance existante et d’adapter le protocole à utiliser en fonction de l’environnement dans lequel ils se trouvent. Cette thèse présente tout d’abord un état de l’art détaillé de ce qu’est l’attestation à distance, que ce soit les approches centrées sur les composants matériels, celles reposant sur des solutions uniquement logicielles, et enfin les solutions dites hybrides qui incluent des aspects à la fois matériels et logiciels. Cette thèse détaille ensuite CRAFT, le premier framework d’attestation continue à distance. CRAFT repose sur un ensemble de messages permettant de répondre à différentes exigences fonctionnelles et de sécurité. Il s’appuie sur une définition générique d’un réseau d’objets connectés, et fait également l’objet d’une analyse de sécurité pour montrer sa résilience aux attaques sur les réseaux d’objets connectés. Enfin, nous évaluons notre proposition à l’aide du simulateur d’événements discrets Omnet++. Ces simulations s’appuient sur une méthodologie statistique robuste et mettent en évidence les bons résultats du framework.
Origine : Version validée par le jury (STAR)