Afficher la notice abrégée
dc.contributor.author |
Ouroua, Naouel épse. Merar |
|
dc.date.accessioned |
2015-04-05T14:16:34Z |
|
dc.date.available |
2015-04-05T14:16:34Z |
|
dc.date.issued |
2012 |
|
dc.identifier.uri |
http://hdl.handle.net/123456789/2413 |
|
dc.description |
112 p. : ill. ; 30 cm. (+ CD-Rom) |
fr_FR |
dc.language.iso |
fr |
fr_FR |
dc.subject |
Systèmes informatiques : Mesure de sûreté |
fr_FR |
dc.subject |
Réseaux d'ordinateurs : Mesure de sûreté |
fr_FR |
dc.subject |
Systèmes informatiques : Accès : Contrôle ; |
fr_FR |
dc.subject |
Protocoles de réseaux d'ordinateurs |
fr_FR |
dc.subject |
Petri, Réseaux de |
fr_FR |
dc.title |
Utilisation des modèles formels dans la sécurité informatique |
fr_FR |
dc.type |
Thesis |
fr_FR |
Fichier(s) constituant ce document
Ce document figure dans la(les) collection(s) suivante(s)
Afficher la notice abrégée