Utilisation des modèles formels dans la sécurité informatique
No Thumbnail Available
Date
2012
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
112 p. : ill. ; 30 cm. (+ CD-Rom)
Keywords
Systèmes informatiques : Mesure de sûreté, Réseaux d'ordinateurs : Mesure de sûreté, Systèmes informatiques : Accès : Contrôle ;, Protocoles de réseaux d'ordinateurs, Petri, Réseaux de