Validation formelle d'implantation de patrons de sécurité / Fadi Obeid ; sous la direction de Philippe Dhaussy

Date :

Editeur / Publisher : , 2018

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Ingénierie dirigée par les modèles -- Thèses et écrits académiques

Sécurité des systèmes -- Thèses et écrits académiques

Vérification de modèles (informatique) -- Thèses et écrits académiques

Classification Dewey : 004.2

Dhaussy, Philippe (1953-....) (Directeur de thèse / thesis advisor)

Beugnard, Antoine (Président du jury de soutenance / praeses)

Groz, Roland (1958-....) (Rapporteur de la thèse / thesis reporter)

Boniol, Frédéric (1963-.... ; enseignant-chercheur en informatique) (Rapporteur de la thèse / thesis reporter)

Garcia-Alfaro, Joaquin (1976-....) (Membre du jury / opponent)

Fontaine, Caroline (19..-.... ; chercheur en informatique) (Membre du jury / opponent)

École nationale supérieure de techniques avancées Bretagne (Brest) (Organisme de soutenance / degree-grantor)

École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (Ecole doctorale associée à la thèse / doctoral school)