Résolution de contraintes de déductibilité : application à la composition de services Web sécurisés / Tigran Avanesov ; sous la direction de Michaël Rusinowitch

Date :

Editeur / Publisher : , 2011

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Services Web -- Thèses et écrits académiques

Cryptographie -- Thèses et écrits académiques

Protocoles de réseaux d'ordinateurs -- Modèles mathématiques -- Thèses et écrits académiques

Méthodes formelles (informatique) -- Thèses et écrits académiques

Logiciels -- Vérification -- Thèses et écrits académiques

Rusinowitch, Michaël (1956-....) (Directeur de thèse / thesis advisor)

Université de Nancy I (Organisme de soutenance / degree-grantor)

École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire lorrain de recherche en informatique et ses applications (Laboratoire associé à la thèse / thesis associated laboratory)