Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2009

Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets

Abstract

In a multi-domains application environment, where distributed multiple organizations interoperate with each other, the local access control policies should correspondingly be integrated in order to allow users of one organization to interact with other domains. One of the key challenges of integrating policies is conflict detection and resolution while preserving policy consistency. This paper addresses several types of potential conflicts and consistency properties with a systematic and rigorous approach. In the approach, graph theory, network flow technology and colored Petri nets are applied for specifying and verifying a secure interoperation design. The component-based integration of policies is applicable for both static and dynamic multi-domains environments.
Fichier principal
Vignette du fichier
conflicts.pdf (368.09 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00396952 , version 1 (19-06-2009)

Identifiers

  • HAL Id : inria-00396952 , version 1

Cite

Hejiao Huang, Helene Kirchner. Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets. 2009. ⟨inria-00396952⟩
129 View
81 Download

Share

Gmail Mastodon Facebook X LinkedIn More