Skip to Main content Skip to Navigation
Reports

L2.5 SAFECAST : Spécification du système global - Intégration des services de sécurité au protocole de gestion de clés -

Résumé : L'objectif de ce document est spécifier l'architecture de sécurité utilisée dans SAFECAST intégrant à la fois les différents services de sécurité et la distribution de clés afin de pouvoir vérifier les protocoles utilisés par des outils de vérification automatiques. Il s'agit de protocoles de gestion de clés dans des PMRs se basant sur des certificats. Dans le chapitre 5, nous définissons ces protocoles dans une spécification assez générale afin qu'elle puisse être utilisée pour la vérification dans divers outils offrant différentes techniques. Dans le chapitre 6, nous proposons une description de ce protocole dans le langage de spécification de haut niveau HLPS (High Level Protocol Specification Language) afin d'utiliser l'outil de vérification AVSIPA. Dans le chapitre 7, nous proposons une description de ces protocoles dans le langage de spécification UML (Unified Modeling Language) 2.0 afin d'utiliser l'outil de vérification TURTLE.
Complete list of metadata

https://hal.inria.fr/inria-00000789
Contributor : Isabelle Chrisment <>
Submitted on : Thursday, December 1, 2005 - 10:37:05 AM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM

Identifiers

  • HAL Id : inria-00000789, version 1

Citation

Najah Chridi, Benjamin Fontan, Sara del Socorro Mota Gonzalez. L2.5 SAFECAST : Spécification du système global - Intégration des services de sécurité au protocole de gestion de clés -. [Contrat] projet RNRT SAFECAST, 2005, pp.98. ⟨inria-00000789⟩

Share

Metrics

Record views

276