Programmes d'études
Méthodes formelles en fiabilité et sécurité
Programmes d'études
Méthodes formelles en fiabilité et sécurité
Onglets principaux
Onglets secondaires
-
... (Object) stdClass
-
vid (String, 5 characters ) 21821
-
uid (String, 1 characters ) 1
-
title (String, 47 characters ) Méthodes formelles en fiabilité et sécurité
-
log (String, 0 characters )
-
status (String, 1 characters ) 1
-
comment (String, 1 characters ) 0
-
promote (String, 1 characters ) 0
-
sticky (String, 1 characters ) 0
-
nid (String, 5 characters ) 21821
-
type (String, 5 characters ) cours
-
language (String, 2 characters ) fr
-
created (String, 10 characters ) 1531109851
-
changed (String, 10 characters ) 1750392001
-
tnid (String, 1 characters ) 0
-
translate (String, 1 characters ) 0
-
rh_action (NULL)
-
rh_redirect (NULL)
-
rh_redirect_response (NULL)
-
revision_timestamp (String, 10 characters ) 1750392001
-
revision_uid (String, 1 characters ) 0
-
body (Array, 1 element)
-
und (Array, 1 element)
-
0 (Array, 5 elements)
-
value (String, 887 characters ) Outils mathématiques de la fiabilité des systèm...
-
Outils mathématiques de la fiabilité des systèmes et de sécurité de l'information : structures algébriques, calculabilité, complexité de calcul, cryptographie. Modélisation des systèmes séquentiels, concurrents : réseaux de Petri (places/transitions et colorés), systèmes de transitions communicants. Spécification : logique de Hoare, logique temporelle linéaire, propriétés de sûreté de fonctionnement et de sécurité (confidentialité, authentification, anonymat, non répudiation et équité des échanges électroniques), sécurité des systèmes. Vérification : analyse des réseaux de Petri, model checking, preuves de programmes, preuves de spécifications algébriques. Applications à la sécurité : construction de programmes fiables et sécurisés, analyse des protocoles de sécurité, monitoring des activités malicieuses des systèmes logiciels.
-
-
summary (NULL)
-
format (String, 9 characters ) full_html
-
safe_value (String, 887 characters ) Outils mathématiques de la fiabilité des systèm...
-
Outils mathématiques de la fiabilité des systèmes et de sécurité de l'information : structures algébriques, calculabilité, complexité de calcul, cryptographie. Modélisation des systèmes séquentiels, concurrents : réseaux de Petri (places/transitions et colorés), systèmes de transitions communicants. Spécification : logique de Hoare, logique temporelle linéaire, propriétés de sûreté de fonctionnement et de sécurité (confidentialité, authentification, anonymat, non répudiation et équité des échanges électroniques), sécurité des systèmes. Vérification : analyse des réseaux de Petri, model checking, preuves de programmes, preuves de spécifications algébriques. Applications à la sécurité : construction de programmes fiables et sécurisés, analyse des protocoles de sécurité, monitoring des activités malicieuses des systèmes logiciels.
-
-
safe_summary (String, 0 characters )
-
-
-
-
field_corequis (Array, 0 elements)
-
field_credits (Array, 1 element)
-
und (Array, 1 element)
-
0 (Array, 3 elements)
-
value (String, 1 characters ) 3
-
format (NULL)
-
safe_value (String, 1 characters ) 3
-
-
-
-
field_cycle (Array, 1 element)
-
und (Array, 1 element)
-
0 (Array, 3 elements)
-
value (String, 2 characters ) BA
-
format (NULL)
-
safe_value (String, 2 characters ) BA
-
-
-
-
field_departement (Array, 1 element)
-
und (Array, 1 element)
-
0 (Array, 3 elements)
-
value (String, 30 characters ) Génies informatique, logiciel
-
format (NULL)
-
safe_value (String, 30 characters ) Génies informatique, logiciel
-
-
-
-
field_prealables (Array, 1 element)
-
und (Array, 1 element)
-
0 (Array, 3 elements)
-
value (String, 7 characters ) LOG2810
-
format (NULL)
-
safe_value (String, 7 characters ) LOG2810
-
-
-
-
field_responsables (Array, 1 element)
-
und (Array, 1 element)
-
0 (Array, 3 elements)
-
value (String, 12 characters ) John Mullins
-
format (NULL)
-
safe_value (String, 12 characters ) John Mullins
-
-
-
-
field_sigle (Array, 1 element)
-
und (Array, 1 element)
-
0 (Array, 3 elements)
-
value (String, 7 characters ) LOG4410
-
format (NULL)
-
safe_value (String, 7 characters ) LOG4410
-
-
-
-
field_supprime (Array, 1 element)
-
field_triplet (Array, 1 element)
-
und (Array, 1 element)
-
0 (Array, 3 elements)
-
value (String, 13 characters ) 3 - 1.5 - 4.5
-
format (NULL)
-
safe_value (String, 13 characters ) 3 - 1.5 - 4.5
-
-
-
-
field_site_web (Array, 0 elements)
-
field_notes (Array, 0 elements)
-
_drafty_revision_requested (String, 18 characters ) FIELD_LOAD_CURRENT
-
name (String, 5 characters ) admin
-
picture (String, 1 characters ) 0
-
data (String, 171 characters ) a:5:{s:16:"ckeditor_default";s:1:"t";s:20:"cked...
-
a:5:{s:16:"ckeditor_default";s:1:"t";s:20:"ckeditor_show_toggle";s:1:"t";s:14:"ckeditor_width";s:4:"100%";s:13:"ckeditor_lang";s:2:"en";s:18:"ckeditor_auto_lang";s:1:"t";}
-
-
-
Called from
Krumo version 0.2.1a
| http://krumo.sourceforge.net/var/aegir/platforms/prod_portail_1748612671_phpupdatePORTAIL262_4dce_300/includes/menu.inc, line527
