Distributed Orchestration of Web Services under Security Constraints

Tigran Avanesov; Yannick Chevalier; Mohammed Anis Mekki; Michael Rusinowitch; Mathieu Turuani

hal-00641321, version 1

Distributed Orchestration of Web Services under Security Constraints

Tigran Avanesov () ¹, Yannick Chevalier () ², Mohammed Anis Mekki ()^a^, 1, Michael Rusinowitch () ¹, Mathieu Turuani ()^b^, 1

4th SETOP International Workshop on Autonomous and Spontaneous Security (2011)

Abstract: We present a novel approach to automated distributed orchestration of Web Services tied with security policies. The construction of an orchestration complying with the policies is based on the resolution of deducibility constraint systems and has been implemented for the non-distributed case as part of the AVANTSSAR Validation Platform. The tool has been successfully experimented on several case-studies from industry and academia.

a – INRIA Lorraine
b – INRIA
1: CASSIS (INRIA Lorraine - LORIA / LIFC)
INRIA – CNRS : FRE2661 – Université de Franche-Comté – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
2: Institut de recherche en informatique de Toulouse (IRIT)
CNRS : UMR5505 – Institut National Polytechnique de Toulouse - INPT – Université des Sciences Sociales - Toulouse I – Université Toulouse I [UT1] Capitole – Université Toulouse le Mirail - Toulouse II – Université Paul Sabatier [UPS] - Toulouse III

hal-00641321, version 1
http://hal.inria.fr/hal-00641321
oai:hal.inria.fr:hal-00641321
From: Tigran Avanesov <>
Submitted on: Tuesday, 15 November 2011 14:24:36
Updated on: Tuesday, 15 November 2011 14:36:35

See detailed view

Associated documents

PDF :

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Peer-reviewed conferences/proceedings</head>
<biblStruct type="inproceedings" xml:id="hal-00641321"><analytic>
<author><persName><forename>Tigran</forename><surname>Avanesov</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA / LIFC</orgName>
<orgName type="team">CASSIS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : FRE2661</orgName>
<orgName type="institution">Université de Franche-Comté</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Yannick</forename><surname>Chevalier</surname></persName>
<affiliation>
<orgName type="laboratory">IRIT</orgName>
<orgName type="team">Institut de recherche en informatique de Toulouse</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR5505</orgName>
<orgName type="institution">Institut National Polytechnique de Toulouse - INPT</orgName>
<orgName type="institution">Université des Sciences Sociales - Toulouse I</orgName>
<orgName type="institution">Université Toulouse I [UT1] Capitole</orgName>
<orgName type="institution">Université Toulouse le Mirail - Toulouse II</orgName>
<orgName type="institution">Université Paul Sabatier [UPS] - Toulouse III</orgName>
</affiliation>
</author>
<author><persName><forename>Mohammed Anis</forename><surname>Mekki</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA / LIFC</orgName>
<orgName type="team">CASSIS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : FRE2661</orgName>
<orgName type="institution">Université de Franche-Comté</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Michael</forename><surname>Rusinowitch</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA / LIFC</orgName>
<orgName type="team">CASSIS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : FRE2661</orgName>
<orgName type="institution">Université de Franche-Comté</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Mathieu</forename><surname>Turuani</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA / LIFC</orgName>
<orgName type="team">CASSIS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : FRE2661</orgName>
<orgName type="institution">Université de Franche-Comté</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<title type="main" level="a">Distributed Orchestration of Web Services under Security Constraints</title></analytic><monogr><meeting>4th SETOP International Workshop on Autonomous and Spontaneous Security</meeting><imprint><publisher>Springer</publisher><pubPlace><settlement>Leuven</settlement><country>Belgium</country></pubPlace><biblScope type="publicationDate">2012-00-00</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/hal-00641321</idno><idno type="HALFile">http://hal.inria.fr/hal-00641321/PDF/setop2011_submission_20.pdf</idno></biblStruct>
</listBibl>
</listBibl>