Environnement pour l'analyse de sécurité d'objets communicants
Alors que les systèmes embarqués sont de plus en plus nombreux, complexes, connectés et chargés de tâches critiques, la question de comment intégrer l'analyse précise de sécurité à la conception de systèmes embarqués doit trouver une réponse. Dans cette thèse, nous étudions comment les méthodes...
Main Author: | Lugou, Florian |
---|---|
Other Authors: | Côte d'Azur |
Language: | en |
Published: |
2018
|
Subjects: | |
Online Access: | http://www.theses.fr/2018AZUR4005/document |
Similar Items
-
Orchestration et vérification de fonctions de sécurité pour des environnements intelligents
by: Schnepf, Nicolas
Published: (2019) -
Une méthode globale pour la vérification d’exigences temps réel : application à l’avionique modulaire intégrée
by: Lauer, Michaël
Published: (2012) -
Environnement de développement d’applications multipériodiques sur plateforme multicoeur. : La boîte à outils SchedMCore
by: Cordovilla Mesonero, Mikel
Published: (2012) -
Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support
by: Ray, Rajarshi
Published: (2012) -
Automatic verification of cryptographic protocols : privacy-type properties
by: Cheval, Vincent
Published: (2012)