Policy Composition based on Petri Nets

Hejiao Huang Helene Kirchner 1, 2
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. For secure interoperation and sharing resources among heterogeneous systems, local policies should correspondingly be integrated for designing a global policy. This paper addresses the problem in a formal way. It uses extended Petri net process to specify and verify security policies in a modular way. It defines four types of policy compositions such that the integrated policy is capable of handling resources sharing, simultaneously executing operations and embedding sub-policies into main policies in multiple heterogeneous systems. Furthermore, the global policy can preserve the fundamental policy properties, i.e., completeness, termination, consistency and confluence, and satisfy policy autonomy and security principles that are required for secure interoperation.
Type de document :
Communication dans un congrès
33rd Annual IEEE International Computer Software and Applications Conference COMPSAC2009, Jul 2009, Seattle, United States. IEEE Computer Society Press, pp.416--421, 2009, Proceedings of 33rd Annual IEEE International Computer Software and Applications Conference. 〈10.1109/COMPSAC.2009.169〉
Liste complète des métadonnées

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

Identifiants

Collections

Citation

Hejiao Huang, Helene Kirchner. Policy Composition based on Petri Nets. 33rd Annual IEEE International Computer Software and Applications Conference COMPSAC2009, Jul 2009, Seattle, United States. IEEE Computer Society Press, pp.416--421, 2009, Proceedings of 33rd Annual IEEE International Computer Software and Applications Conference. 〈10.1109/COMPSAC.2009.169〉. 〈inria-00433398〉

Partager

Métriques

Consultations de la notice

159