Département Mathématiques, Informatique, Automatique de l'ISAE
Logo ISAE
DMIA

SAFECAST

Mis à jour le 16 octobre 2009

Description

Le projet SAFECAST a porté sur des communications sécurisées de groupes, en particulier dans le cadre d’applications PMR (Private Mobile Radio) sur des zones de théâtres (incendies, attentats, situation de crise, etc.). La diffusion d’informations à un groupe, ou multicast, voit actuellement son déploiement à grande échelle freiné par les problématiques de sécurité. En effet, les solutions proposées se heurtent au principal problème du facteur d’échelle, car la complexité croit exponentiellement en fonction du nombre des membres du groupe sécurisé.

Le projet SAFECAST visait à développer une architecture globale de sécurité permettant la communication multipoint pour des groupes dynamiques, dans un environnement sécurisé.

Notre contribution a porté sur la validation d’une architecture de modélisation en mettant l’accent sur la vérification formelle d’exigences temporelles à satisfaire par les mécanismes de gestion de sessions sécurisées.

Partenaires

SAFECAST est un projet du Réseau National de la Recherche en Télécommunications (RNRT).

Les partenaires sont EADS (leader), ENST, LAAS-CNRS, LORIA et UTC.

Contexte

Modélisation et Simulation

Personnels ISAE impliqués

Durée du projet

avril 2004 – juin 2007

Mentions légales | Plan d’accès | Plan du site | Suivre la vie du site RSS 2.0 |