Security Issues in Service Composition

Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi

doi:10.1007/11768869_1

Cited by 16 publications

(6 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A first step towards a framework for modelling and analysing security and trust for services includes trust management and static analysis techniques for cryptoprotocols [26,36], security issues on shared space coordination languages [20], secure service composition [1], techniques for ensuring constraints on interfaces between services [29], and autonomic security mechanisms [23]. The results for control resource usage by services range from a flow logic for resource access control [20] and model checking properties of workflow processes [24] to type systems for confining movements of data and processes [13] and for composing incomplete software components [2].…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

Sensoria Process Calculi for Service-Oriented Computing

Wirsing

Nicola

Gilmore

et al. 2007

Trustworthy Global Computing

View full text Add to dashboard Cite

Abstract. The IST-FET Integrated Project SENSORIA aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. Process calculi and logical methods serve as the main mathematical basis of the SENSORIA approach.In this paper we give first a short overview of SENSORIA and then focus on process calculi for service-oriented computing. The Service Centered Calculus SCC is a general purpose calculus which enriches traditional process calculi with an explicit notion of session; the Service Oriented Computing Kernel SOCK is inspired by the Web services protocol stack and consists of three layers for service description, service engines, and the service network; Performance Evaluation Process Algebra (PEPA) is an expressive formal language for modelling distributed systems which we use for quantitative analysis of services. The calculi and the analysis techniques are illustrated by a case study in the area of distributed e-learning systems.

show abstract

Section: Discussionmentioning

confidence: 99%

“…The SENSORIA Consortium consists of 12 universities, two research institutes and four companies (two SMEs) from seven countries 1 .…”

Section: Sensoriamentioning

confidence: 99%

Sensoria Process Calculi for Service-Oriented Computing

Wirsing

Nicola

Gilmore

et al. 2007

Trustworthy Global Computing

View full text Add to dashboard Cite

show abstract

“…Other research strands of SENSORIA comprise a probabilistic extension of a Linda-like language for service-oriented computing [12] and stochastic extensions of KLAIM [32] and beta-binders [15]. SENSORIA addresses security issues ranging from sandboxing for KLAIM [21], trust management for autonomic grid services [26], and security of service composition [4] to a formal framework for security and trust in the requirements phase of system development [20].…”

Section: Discussionmentioning

confidence: 99%

Semantic-Based Development of Service-Oriented Systems

Wirsing

Clark

Gilmore

et al. 2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. The IST-FET Integrated Project SENSORIA aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. In this paper we present first ideas for the SENSORIA semantic-based development of service-oriented systems. This includes service-oriented extensions to the UML, a mathematical basis formed by a family of process calculi, a language for expressing context-dependent soft constraints and preferences, qualitative and quantitative analysis methods, and model transformations from UML to process calculi. The results are illustrated by a case study in the area of automotive systems.

show abstract

“…For example, [5] introduces an extension of the λ-calculus with primitive constructs for call-by-contract invocation for which a completely static approach for regulating secure service composition has been devised. In particular, an automatic machinery, based on a type system and a model-checking technique, has been defined to construct a viable plan for the execution of services belonging to a given orchestration.…”

Section: Related Workmentioning

confidence: 99%

A calculus for orchestration of web services

Pugliese

Tiezzi

2012

Journal of Applied Logic

View full text Add to dashboard Cite

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems. In this paper, we follow this approach and introduce CWS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that CWS can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We illustrate the specification style that CWS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it.

show abstract

Security Issues in Service Composition

Cited by 16 publications

References 33 publications

Sensoria Process Calculi for Service-Oriented Computing

Sensoria Process Calculi for Service-Oriented Computing

Semantic-Based Development of Service-Oriented Systems

A calculus for orchestration of web services

Contact Info

Product

Resources

About