V. Darmaillacq, J-C. Fernandez, R. Groz, L. Mounier, J-L. Richier. Éléments de modélisation pour le test de politiques de sécurité. In Colloque sur les RIsques et la Sécurité d'Internet et des Systèmes, CRiSIS, Bourges, France, 2005.
Download paper: Adobe portable document (pdf)
Copyright notice:
[ Test and run-time verification ]
@InProceedings{DarmaillacqFernandezGrozMounierRichier05,
Author = {Darmaillacq, V. and Fernandez, J-C. and Groz, R. and Mounier, L. and Richier, J-L.},
Title = {{É}l{é}ments de mod{é}lisation pour le test de politiques de s{é}curit{é}},
BookTitle = {Colloque sur les RIsques et la S{é}curit{é} d'Internet et des Syst{è}mes, CRiSIS},
Address = {Bourges, France},
Year = {2005}
}
Get EndNote Reference (.ref)