Modular Plans for Secure Service Composition (Articolo in rivista)

Type

• Prodotto della ricerca (Classe)
• Articolo in rivista (Classe)

Label

• Modular Plans for Secure Service Composition (Articolo in rivista) (literal)

Anno

• 2010-01-01T00:00:00+01:00 (literal)

Alternative label

• Costa G.; Degano P.; Martinelli F. (2010)
  Modular Plans for Secure Service Composition
  in Lecture notes in computer science
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Costa G.; Degano P.; Martinelli F. (literal)

Pagina inizio

• 41 (literal)

Pagina fine

• 58 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 6186 (literal)

Rivista

• Lecture notes in computer science (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (Cyprus, 27-28 March 2010). Proceedings, pp. 41 - 58. (Lecture Notes in Computer Science, vol. 6186). Springer, 2010. (literal)

Note

• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-IIT, Pisa (literal)

Titolo

• Modular Plans for Secure Service Composition (literal)

Abstract

• Service Oriented Computing (SOC) is a programming paradigm aim-ing 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. (literal)

Prodotto di

• Trusted and mobile systems (INT.P01.007.004) (Modulo)
• Istituto di informatica e telematica (IIT) (Istituto)

Autore CNR

• PIERPAOLO DEGANO (Unità di personale esterno)
• FABIO MARTINELLI (Unità di personale interno)
• GABRIELE COSTA (Unità di personale esterno)

Incoming links:

Prodotto

• Istituto di informatica e telematica (IIT) (Istituto)
• Trusted and mobile systems (INT.P01.007.004) (Modulo)

Autore CNR di

• FABIO MARTINELLI (Unità di personale interno)
• PIERPAOLO DEGANO (Unità di personale esterno)
• GABRIELE COSTA (Unità di personale esterno)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Lecture notes in computer science (Rivista)