Exigences de confidentialité et de diffusion concernant les politiques d’échanges d’information

Résumé : Que cela soit pour la surveillance de la Terre, la gestion des risques naturels ou dans les différentes formes que revêtent les relations inter-entreprises, il existe de plus de plus d’organisations interconnectées formant des systèmes d’information complexes et décentralisés dans lesquels l’échange d’information joue un rôle crucial. Afin de maîtriser ces échanges il est nécessaire de spécifier clairement les exigences qui leurs sont liées, et peuvent être regroupées en ce que nous nommons une politique d’échange d’information. Dans cet article nous présentons un cadre formel qui permet, d’une part, de spécifier une politique d’échange et, d’autre part, de vérifier automatiquement, à l’aide d’un outil basé sur du model-checking, un ensemble de propriétés sur cette spécification.
Type de document :
Article dans une revue
Génie logiciel, C & S, 2014, pp.43-47
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01103262
Contributeur : Véronique Soullier <>
Soumis le : mercredi 14 janvier 2015 - 13:46:13
Dernière modification le : vendredi 23 janvier 2015 - 13:53:24
Document(s) archivé(s) le : vendredi 11 septembre 2015 - 06:45:54

Fichier

DTIM15001.1421237972.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01103262, version 1

Collections

Citation

R. Delmas, T. Polacsek. Exigences de confidentialité et de diffusion concernant les politiques d’échanges d’information. Génie logiciel, C & S, 2014, pp.43-47. 〈hal-01103262〉

Partager

Métriques

Consultations de
la notice

97

Téléchargements du document

131