Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité
La Programmation Concurrente par Contraintes (CCP) est un modèle mathématique pour la spécification de systèmes concurrents où les agents (processus) ajoutent de l'information ou interrogent si certains faits peuvent être déduits. Dans ce modèle, l'information est représentée par un ensemb...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Ecole Polytechnique X
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00430446 http://tel.archives-ouvertes.fr/docs/00/43/04/46/PDF/thesis.pdf |