Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux

No file

Dates and versions

inria-00384195 , version 1 (14-05-2009)

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⟩

Collections

UGA IMAG CNRS
37 View
0 Download

Share

Gmail Facebook X LinkedIn More