Towards the Orchestration of Secured Services under Non-disclosure Policies.

Tigran Avanesov 1 Yannick Chevalier 2 Michael Rusinowitch 3 Mathieu Turuani 3
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : The problem of finding a mediator to compose secured services has been reduced in our former work to the problem of solving deducibility constraints similar to those employed for cryptographic protocol analysis. We extend in this paper the mediator synthesis procedure by a construction for expressing that some data is not accessible to the mediator. Then we give a decision procedure for verifying that a mediator satisfying this non-disclosure policy can be effectively synthesized. This procedure has been implemented in CL-AtSe, our protocol analysis tool. The procedure extends constraint solving for cryptographic protocol analysis in a significative way as it is able to handle negative deducibility constraints without restriction. In particular it applies to all subterm convergent theories and therefore covers several interesting theories in formal security analysis including encryption, hashing, signature and pairing.
Type de document :
Communication dans un congrès
Igor V. Kotenko and Victor A. Skormin. 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, Oct 2012, St. Petersburg, Russia. Springer, 7531, pp.130-145, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-33704-8_12〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00755947
Contributeur : Michaël Rusinowitch <>
Soumis le : jeudi 22 novembre 2012 - 11:13:25
Dernière modification le : jeudi 11 janvier 2018 - 06:24:26

Identifiants

Citation

Tigran Avanesov, Yannick Chevalier, Michael Rusinowitch, Mathieu Turuani. Towards the Orchestration of Secured Services under Non-disclosure Policies.. Igor V. Kotenko and Victor A. Skormin. 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, Oct 2012, St. Petersburg, Russia. Springer, 7531, pp.130-145, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-33704-8_12〉. 〈hal-00755947〉

Partager

Métriques

Consultations de la notice

311