Conference Papers
Year : 2006
Nicolas Stouls : Connect in order to contact the contributor
https://inria.hal.science/inria-00384195
Submitted on : Thursday, May 14, 2009-3:56:18 PM
Last modification on : Thursday, April 4, 2024-9:21:32 PM
Dates and versions
Identifiers
- HAL Id : inria-00384195 , version 1
Cite
Nicolas Stouls, Vianney Darmaillacq. Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06), Mar 2006, Paris, France. pp.179--193. ⟨inria-00384195⟩
37
View
0
Download