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.
Type de document :
Communication dans un congrès
Jens Palsbberg. Semantics and Algebraic Specification, Sep 2009, Udine, Italy. Springer, 5700, pp.21-42, 2009, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/u406751h7v30/〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00433372
Contributeur : Helene Kirchner <>
Soumis le : jeudi 19 novembre 2009 - 09:55:28
Dernière modification le : jeudi 11 janvier 2018 - 06:22:10

Identifiants

  • HAL Id : inria-00433372, version 1

Collections

Citation

Helene Kirchner, Hejiao Huang. Component-based Security Policy Design with Colored Petri Nets. Jens Palsbberg. Semantics and Algebraic Specification, Sep 2009, Udine, Italy. Springer, 5700, pp.21-42, 2009, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/u406751h7v30/〉. 〈inria-00433372〉

Partager

Métriques

Consultations de la notice

256