Modular Plans for Secure Service Composition - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Modular Plans for Secure Service Composition

Abstract

Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from the composition of many services. We address here the problem of statically guaranteeing security of open services, i.e. services with unknown components. Security constraints are expressed by local policies that service components must obey. We present here a type and effect system that safely over-approximates, in the form of history expressions, the possible run-time behaviour of open services, collecting partial information on the behaviours of their components. From a history expression, we then extract a plan that drives executions that never rise security violations. Finally, we show how partial plans satisfying security requirements can be put together to obtain a safe orchestration plan.
Fichier principal
Vignette du fichier
main.pdf (233.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00536652 , version 1 (18-11-2010)

Identifiers

Cite

Gabriele Costa, Pierpaola Degano, Fabio Martinelli. Modular Plans for Secure Service Composition. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Mar 2010, Paphos, Cyprus. pp.41-58, ⟨10.1007/978-3-642-16074-5_4⟩. ⟨inria-00536652⟩

Collections

CONNECT
43 View
218 Download

Altmetric

Share

Gmail Facebook X LinkedIn More