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.