Communication Dans Un Congrès
Année : 2006
Nicolas Stouls : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00384195
Soumis le : jeudi 14 mai 2009-15:56:18
Dernière modification le : jeudi 4 avril 2024-21:21:32
Dates et versions
Identifiants
- HAL Id : inria-00384195 , version 1
Citer
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
Consultations
0
Téléchargements