Tigran Avanesov. 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). PhD thesis, Henri Poincaré University, Nancy, France, 2011. [doi]
Abstract is missing.