ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 21/2 - 2016  - pp.39-63  - doi:10.3166/isi.21.2.39-63
TITRE
Vérification automatique d’exigences pour les politiques d’échange d’information. Exigences de diffusion et de non-diffusion d'information

TITLE
Automatic verification of exchange policy requirements. Need-to-share and non-diffusion requirements

RÉSUMÉ
De la surveillance de la Terre aux relations inter-entreprises, de plus de plus d’organisations forment des systèmes décentralisés avec des échanges d’information. Dès lors, il devient crucial de régir la diffusion de l’information entre les différents partenaires à l’aide de règles précises, c’est-à-dire à l’aide de politiques d’échange d’informations. Ce papier propose une approche formelle pour la spécification de politiques d’échange accompagné d’un outil per- mettant à l’utilisateur de définir une politique et de vérifier automatiquement sa conformité à un ensemble d’exigences. Dans cet article, nous considérons d’abord un ensemble d’exigences logiques génériques, puis nous formalisons deux types d’exigences antagonistes : d’une part, la nécessité de partager de l’informationn, et d’autre part, l’obligation de ne pas diffuser certaines informations. Nous expliquons ensuite comment les concilier dans une même politique à l’aide d’une opération de filtrage d’information dont la spécification apparaît naturellement.


ABSTRACT
From Earth observation to inter-companies relations, more and more organizations form decentralized systems in which information gets exchanged. In such settings it becomes crucial to explicit the rules governing information diffusion between parties, in what is called information exchange policies. This paper proposes a formal approach to exchange policies specification and analysis, together with a tool allowing the user to define policies and verify a number of formal requirements. In this paper, we first focus on a set of generic logical requirements, then we formalize two types antagonist requirements, the first being about enforcing necessary information diffusion, and the second about restricting the diffusion of specific kinds of information. Finally we explain how to reconcile these conflicting requirements in a single policy, thanks to an information filtering operator, the specification of which emerges naturally.


AUTEUR(S)
Rémi DELMAS, Thomas POLACSEK

MOTS-CLÉS
analyses de politique d’échange, exigences, méthodes formelles, vérification, solveurs SMT.

KEYWORDS
exchange policy analysis, requirements, formal methods, verification, SMT solvers.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (315 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier