Apprentissage et vérification statistique pour la sécurité

Apprentissage et vérification statistique pour la sécurité

Les principaux objectifs poursuivis au cours de cette thèse sont en premier lieu de pouvoir combiner les avantages de l apprentissage graphique probabiliste de modèles et de la vérification formelle afin de pouvoir construire une nouvelle stratégie pour les évaluations de sécurité. D autre part, il...

Full description

Saved in:
Bibliographic Details
Main Authors : Antakly Dimitri (Auteur), Leray Philippe (Directeur de thèse), Delahaye Benoît (Directeur de thèse), Rouveirol Céline (Président du jury de soutenance), Schiex Thomas (Rapporteur de la thèse), Tabia Karim (Rapporteur de la thèse), Bertrand Nathalie (Membre du jury)
Corporate Authors : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
Format : Thesis
Language : anglais
Title statement : Apprentissage et vérification statistique pour la sécurité / Dimitri Antakly; sous la direction de Philippe Leray et de Benoît Delahaye
Published : 2020
Online Access : Via Nantes Université network
Online Access note : Accès au texte intégral
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2020
Subjects :
Systèmes informatiques > Mesures de sûreté
Modèle CMM (informatique)
...
Thèses et écrits académiques

Internet

http://www.theses.fr/2020NANT4015/document