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 Connect in order to contact the contributor
Submitted on : Thursday, November 19, 2009 - 9:55:28 AM
Last modification on : Saturday, June 25, 2022 - 7:39:44 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