L2.5 SAFECAST : Spécification du système global - Intégration des services de sécurité au protocole de gestion de clés - - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Contract/Project Report) Year : 2005

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

Abstract

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.
No file

Dates and versions

inria-00000789 , version 1 (01-12-2005)

Identifiers

  • HAL Id : inria-00000789 , version 1

Cite

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⟩
111 View
1 Download

Share

Gmail Facebook X LinkedIn More