Rule-based Specification and Analysis of Security Policies - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010
No file

Dates and versions

inria-00552221 , version 1 (05-01-2011)

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⟩
89 View
0 Download

Share

Gmail Facebook X LinkedIn More