Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets

Hejiao Huang 1 Helene Kirchner 1
1 PAREO - Formal islands: foundations and applications
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download

https://hal.inria.fr/inria-00396952
Contributor : Helene Kirchner <>
Submitted on : Friday, June 19, 2009 - 10:35:05 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Tuesday, June 15, 2010 - 5:49:13 PM

File

conflicts.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00396952, version 1

Collections

Citation

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

Share

Metrics

Record views

311

Files downloads

167