Synthèse de systèmes informatiques temporisés non interférents

Synthèse de systèmes informatiques temporisés non interférents

Cette thèse concerne la sécurité informatique. Nous pouvons décomposer le travail réalisé en deux parties : premièrement, nous avons étudié la vérification et le contrôle de différentes formes de non interférence temporisée, et deuxièmement nous avons étudié la détection des canaux cachés. Nous cons...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Benattar Gilles (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), École polytechnique de l'Université de Nantes (Autre partenaire associé à la thèse), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Organisme de soutenance)
Autres auteurs : Roux Olivier Henri (Directeur de thèse), Lime Didier (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Synthèse de systèmes informatiques temporisés non interférents / Gilles Benattar; sous la direction de Olivier H. Roux ; co-encadrant Didier Lime
Publié : [S.l.] : [s.n.] , 2011
Description matérielle : 1 vol. (104 f.)
Note de thèse : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2011
Disponibilité : Publication autorisée par le jury
Sujets :
Transducteurs > Thèses et écrits académiques
Non-interférence > Canaux cachés > Automates temporisés > Contrôle

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 2011 NANT 2012 Empruntable Disponible
Magasin aérotherme 2011 NANT 2012 Exclu du prêt disponible