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, Mars 2006.
@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}
}
Charger la référence EndNote (.ref)