CN:ND06

Nicolas Stouls, Vianney Darmaillacq. Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 179-193, ENST, Paris, March 2006.

Contact

Vianney Darmaillacq

BibTex Reference

@InProceedings{CN:ND06,
   Author = {Stouls, Nicolas and Darmaillacq, Vianney},
   Title = {Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux},
   BookTitle = {Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels},
   Pages = {179--193},
   Address = {ENST, Paris},
   Month = {March},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)