Des preuves mathématiques pour la sécurité des objets connectés ?

Les objets connectés sont la partie visible de l’Internet des objets, et la cible de nombreuses attaques. Souvent exposés, rarement supervisés, ces objets doivent être très résistants aux cybermenaces. Une architecture robuste, combinée à des preuves formelles, permet d’atteindre des niveaux de sécurité très satisfaisants.

Au sommaire de l’article

1. Sécuriser les objets connectés

2. Les méthodes formelles

2.1 Raisonner sur le code

2.2 Une technique d’assurance

3. Un micronoyau et des preuves

3.1 Enraciner la confiance dans le matériel

3.2 Réduire au strict minimum la base de confiance

3.3 Isoler les programmes sensibles contre les interférences

3.4 Prouver que cette isolation est effective

4. Retour sur les objets connectés

Conclusion

Remerciements

Références

Eric Vétillard

 > Lire l’intégralité de cet article sur notre plateforme de lecture en ligne Connect  

Retrouvez cet article (et bien d’autres) dans MISC Hors-Série n°15, disponible sur la boutique et sur Connect !

Laisser un commentaire