Conference Papers
Year : 2010
Tony Bourdier : Connect in order to contact the contributor
https://inria.hal.science/inria-00552221
Submitted on : Wednesday, January 5, 2011-5:06:28 PM
Last modification on : Tuesday, April 11, 2023-3:16:28 PM
Dates and versions
Identifiers
- HAL Id : inria-00552221 , version 1
Cite
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. ⟨inria-00552221⟩
Collections
88
View
0
Download