Etude des compromis entre sécurité et disponibilité des systèmes embarqués communicants

The security of communications depends on security algorithms which are often based on heavy calculations, in particular within an embedded system in view of its other tasks. In such a context, security algorithms consume significant time and energy resources. Security then becomes a slider, a slider that one can move by choosing the right algorithms and parameters for the needs of the embedded system. Finding the right compromise between security, availability and autonomy of a wireless sensor network is difficult for an embedded systems designer. The objective of this thesis is to define the parameters on which it is possible to act to find an acceptable solution. A model in the form of Petri nets is offered to make these parameters interact and highlight their mutual influences.La sécurité d'un moyen de communication dépend d’algorithmes de sécurité qui reposent sur des calculs souvent lourds, en particulier au sein d'un système embarqué par rapport à ses autres tâches. Dans un tel contexte, les algorithmes de sécurité consomment d'importantes ressources temporelles et énergétiques. La sécurité devient alors un curseur à faire varier grâce à des choix d'algorithmes et de paramètres adaptés aux besoins du système embarqué communicant. Trouver le bon compromis entre sécurité, disponibilité et autonomie d'un réseau de capteurs sans fil est délicat pour un concepteur d'objets connectés. L'objectif de cette thèse est de définir les paramètres sur lesquels il est possible de jouer pour trouver une solution acceptable. Un modèle sous forme de réseaux de Petri est proposé pour faire interagir ces paramètres et mettre en évidence leurs influences sur un réseau de capteur sans fil