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

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Antakly Dimitri (Auteur), Leray Philippe informaticien (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 Docteur en informatique (Membre du jury)
Collectivités auteurs : 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 : Thèse ou mémoire
Langue : anglais
Titre complet : Apprentissage et vérification statistique pour la sécurité / Dimitri Antakly; sous la direction de Philippe Leray et de Benoît Delahaye
Publié : 2020
Accès en ligne : Accès Nantes Université
Note sur l'URL : Accès au texte intégral
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2020
Sujets :
Systèmes informatiques > Mesures de sûreté
Modèle CMM (informatique)
...
Thèses et écrits académiques

Internet

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