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

Type de document :
Communication dans un congrès
S. Vignes and V. Viguié Donzeau-Gouge. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06), Mar 2006, Paris, France. pp.179--193, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00384195
Contributeur : Nicolas Stouls <>
Soumis le : jeudi 14 mai 2009 - 15:56:18
Dernière modification le : jeudi 11 janvier 2018 - 06:14:33

Identifiants

  • HAL Id : inria-00384195, version 1

Collections

IMAG | UGA

Citation

Nicolas Stouls, Vianney Darmaillacq. Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux. S. Vignes and V. Viguié Donzeau-Gouge. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06), Mar 2006, Paris, France. pp.179--193, 2006. 〈inria-00384195〉

Partager

Métriques

Consultations de la notice

23