Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Towards the Orchestration of Secured Services under Non-disclosure Policies
Avanesov, Tigran; Chevalier, Yannick; Rusinowitch, Michaël et al.
2012In 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings
Peer reviewed
 

Files


Full Text
10.1007_978-3-642-33704-8_12.pdf
Publisher postprint (309.27 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Web services; Orchestration; security policy; separation of duty; deducibility constraints; cryptographic protocols
Abstract :
[en] 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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2012-390
Author, co-author :
Avanesov, Tigran ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Chevalier, Yannick;  IRIT, Université de Toulouse, France
Rusinowitch, Michaël;  INRIA Nancy Grand Est, France
Turuani, Mathieu;  INRIA Nancy Grand Est, France
Language :
English
Title :
Towards the Orchestration of Secured Services under Non-disclosure Policies
Publication date :
2012
Event name :
6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012
Event place :
St. Petersburg, Russia
Event date :
Oct 17, 2012 - Oct 20, 2012
Main work title :
6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings
Publisher :
Springer Berlin
Heidelberg
ISBN/EAN :
978-3-642-33703-1
Pages :
130-145
Peer reviewed :
Peer reviewed
Commentary :
7531 Computer Network Security, Lecture Notes in Computer Science
Available on ORBilu :
since 12 July 2013

Statistics


Number of views
75 (6 by Unilu)
Number of downloads
4 (4 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
0
OpenCitations
 
1

Bibliography


Similar publications



Contact ORBilu