Résolution de contraintes de déductibilité : application à la composition de services Web sécurisés
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2011NAN10045/document |