Utilisation des modèles formels dans la sécurité informatique

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

Chercher dans le dépôt


Parcourir

Mon compte