Skip to Main content Skip to Navigation
Conference papers

Component-based Security Policy Design with Colored Petri Nets

Helene Kirchner 1, 2 Hejiao Huang
1 PAREO - Formal islands: foundations and applications
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Security policies are one of the most fundamental elements of computer security. This paper uses colored Petri net process (CPNP) to specify and verify security policies in a modular way. It defines fundamental policy properties, i.e., completeness, termination, consistency and confluence, in Petri net terminology and gets some theoretical results. According to XACML combiners and property-preserving Petri net process algebra (PPPA), several policy composition operators are specified and property-preserving results are stated for the policy correctness verification.
Document type :
Conference papers
Complete list of metadata
Contributor : Helene Kirchner <>
Submitted on : Thursday, November 19, 2009 - 9:55:28 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM


  • HAL Id : inria-00433372, version 1



Helene Kirchner, Hejiao Huang. Component-based Security Policy Design with Colored Petri Nets. Semantics and Algebraic Specification, Marina Lenisa, Sep 2009, Udine, Italy. pp.21-42. ⟨inria-00433372⟩



Record views