Communication Dans Un Congrès
Année : 2010
Tony Bourdier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00552221
Soumis le : mercredi 5 janvier 2011-17:06:28
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : inria-00552221 , version 1
Citer
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
96
Consultations
0
Téléchargements