Rule-based Specification and Analysis of Security Policies

Tony Bourdier 1 Horatiu Cirstea 1 Mathieu Jaume 2 Hélène Kirchner 3
1 PAREO - Formal islands: foundations and applications
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 SPI - Sémantiques, preuves et implantation
LIP6 - Laboratoire d'Informatique de Paris 6
Liste complète des métadonnées

https://hal.inria.fr/inria-00552221
Contributor : Tony Bourdier <>
Submitted on : Wednesday, January 5, 2011 - 5:06:28 PM
Last modification on : Thursday, March 21, 2019 - 1:09:17 PM

Identifiers

  • HAL Id : inria-00552221, version 1

Citation

Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner. Rule-based Specification and Analysis of Security Policies. 5th International Workshop on Security and Rewriting Techniques - SecReT 2010, Jun 2010, Valencia, Spain. 2010. 〈inria-00552221〉

Share

Metrics

Record views

117