Preuves symboliques de propriétés d'indistinguabilité calculatoire / Adrien Koutsos ; sous la direction de Hubert Comon-Lundh

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Mesures de sécurité

Fiabilité

Protocoles de réseaux d'ordinateurs

Systèmes informatiques -- Mesures de sûreté

Automatisation

Comon-Lundh, Hubert (Directeur de thèse / thesis advisor)

Palamidessi, Catuscia (Président du jury de soutenance / praeses)

Cremers, Cas (1974-....) (Rapporteur de la thèse / thesis reporter)

Warinschi, Bogdan (19..-....) (Rapporteur de la thèse / thesis reporter)

Blanchet, Bruno (Membre du jury / opponent)

Arapinis, Myrto (19..-....) (Membre du jury / opponent)

Université Paris-Saclay (2015-2019) (Organisme de soutenance / degree-grantor)

École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (Ecole doctorale associée à la thèse / doctoral school)

École normale supérieure Paris-Saclay (Gif-sur-Yvette, Essonne) (Autre partenaire associé à la thèse / thesis associated third party)

Laboratoire Spécification et Vérification (Cachan, Val-de-Marne). (Laboratoire associé à la thèse / thesis associated laboratory)