Resolution of constraint systems for automatic composition of security-aware Web Services - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2011

Resolution of constraint systems for automatic composition of security-aware Web Services

Résolution de contraintes de déductibilité. Application à la composition de services Web sécurisés

Résumé

Deducibility constraints have been introduced to verify cryptographic protocols. This thesis gives a decision procedure for the satisfiability problem of general deducibility constraints. Two cases are considered: the standard Dolev-Yao theory and its extension with an associative, commutative idempotent operator. The result is applied to solve the automated distributed orchestration problem for secured Web services. As a second application we give a procedure to decide the security of a cryptographic protocol in presence of several non-communicating intruders. We also show how it is possible to detect some XML rewriting attacks on Web services.
Les contraintes de déductibilité ont été introduites pour vérifier les protocoles cryptographiques. Cette thèse présente une procédure de décision pour le problème de satisfaisabilité des systèmes généraux de contraintes de déductibilité. Deux cas sont envisagés: la théorie de Dolev-Yao standard et son extension par un opérateur associatif, commutatif, idempotent. Le résultat est utilisé pour résoudre le problème de l'orchestration automatique et distribué de services Web sécurisés. Comme seconde application nous proposons une procédure pour décider la sécurité d'un nombre fini de sessions de protocole en présence de plusieurs intrus qui ne communiquent pas. Nous montrons également comment il est possible de détecter certaines attaques par réécriture qui exploitent le format des messages en XML.
Fichier principal
Vignette du fichier
these.pdf (3.5 Mo) Télécharger le fichier
phd-talk.pdf (6.41 Mo) Télécharger le fichier
Format : Autre

Dates et versions

tel-01746193 , version 2 (15-11-2011)
tel-01746193 , version 3 (15-11-2011)
tel-01746193 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01746193 , version 3

Citer

Tigran Avanesov. Resolution of constraint systems for automatic composition of security-aware Web Services. Cryptography and Security [cs.CR]. Université Henri Poincaré - Nancy 1, 2011. English. ⟨NNT : ⟩. ⟨tel-01746193v3⟩
360 Consultations
825 Téléchargements

Partager

Gmail Facebook X LinkedIn More