Skip to Main content Skip to Navigation
Conference papers

Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés

Quentin Bergougnoux 1, 2 Julien Iguchi-Cartigny 1, 2 Gilles Grimaud 1, 2 
2 2XS - Extra Small Extra Safe
CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
Résumé : Avec le développement et l'évolution de plus en plus rapides des objets connectés (Internet of Things), la sécurité et la confidentialité sont devenues des propriétés désirées par chaque constructeur dans leurs appareils, moyennant un coût, en termes de performances, moindre. En tant que moyen d'assurer mathématiquement les propriétés désirées, la preuve formelle a fait son entrée dans le domaine du développement noyau. Cependant, la vérification formelle nécessite beaucoup de travail et impose plusieurs contraintes : la moindre modification du modèle ou du code provoque de nombreuses modifications sur la preuve. Comme réponse à ce problème, nous présentons Pip, un proto-noyau n'assurant que la propriété voulue, l'isolation mémoire, par le biais d'une base de confiance prouvée, tout en laissant le code utilisateur gérer les fonctionnalités restantes.
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01556564
Contributor : Quentin Bergougnoux Connect in order to contact the contributor
Submitted on : Wednesday, July 5, 2017 - 11:47:56 AM
Last modification on : Wednesday, September 7, 2022 - 8:14:05 AM
Long-term archiving on: : Tuesday, January 23, 2018 - 7:56:48 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01556564, version 1

Collections

Citation

Quentin Bergougnoux, Julien Iguchi-Cartigny, Gilles Grimaud. Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés. Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Université Sophia Antipolis, Jun 2017, Sophia Antipolis, France. ⟨hal-01556564⟩

Share

Metrics

Record views

383

Files downloads

277