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...

Full description

Saved in:
Bibliographic Details
Main Author : Benattar Gilles (Auteur)
Corporate Authors : 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)
Other Authors : Roux Olivier Henri (Directeur de thèse), Lime Didier (Directeur de thèse)
Format : Thesis
Language : français
Title statement : Synthèse de systèmes informatiques temporisés non interférents / Gilles Benattar; sous la direction de Olivier H. Roux ; co-encadrant Didier Lime
Published : [S.l.] : [s.n.] , 2011
Physical Description : 1 vol. (104 f.)
Note de thèse : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2011
Availability : Publication autorisée par le jury
Subjects :
Transducteurs > Thèses et écrits académiques
Non-interférence > Canaux cachés > Automates temporisés > Contrôle

BU Sciences

Holdings details from BU Sciences
Location Call Number Loan type Status
Magasin aérotherme 2011 NANT 2012 Empruntable Available
Magasin aérotherme 2011 NANT 2012 Exclu du prêt disponible