Modelling, validating, and ranking of secure service compositions
Brucker, AD; Zhou, B; Malmignati, F; et al.Shi, Q; Merabti, M
Date: 7 July 2017
Journal
Software - Practice and Experience
Publisher
Wiley
Publisher DOI
Abstract
In the world of large-scale applications, software as a service (SaaS) in general and use of microservices, in particular, is bringing service-oriented architectures to a new level: Systems in general and systems that interact with human users (eg, sociotechnical systems) in particular are built by composing microservices that are ...
In the world of large-scale applications, software as a service (SaaS) in general and use of microservices, in particular, is bringing service-oriented architectures to a new level: Systems in general and systems that interact with human users (eg, sociotechnical systems) in particular are built by composing microservices that are developed independently and operated by different parties. At the same time, SaaS applications are used more and more widely by enterprises as well as public services for providing critical services, including those processing security or privacy of relevant data. Therefore, providing secure and reliable service compositions is increasingly needed to ensure the success of SaaS solutions. Building such service compositions securely is still an unsolved problem. In this paper, we present a framework for modelling, validating, and ranking secure service compositions that integrate both automated services as well as services that interact with humans. As a unique feature, our approach for ranking services integrates validated properties (eg, based on the result of formally analysing the source code of a service implementation) as well as contractual properties that are part of the service level agreement and, thus, not necessarily ensured on a technical level.
Computer Science
Faculty of Environment, Science and Economy
Item views 0
Full item downloads 0
Related items
Showing items related by title, author, creator and subject.
-
Process Design in an Information-Intensive Service Delivery System: an Empirical Study
Ponsignon, Frédéric (University of Exeter Business School, 17 March 2010)The objective of this thesis is to explore the design of operational processes in information-intensive service delivery systems. Empirical data is presented which builds upon existing literature within the Business Process ... -
Reframing landscape fragmentation's effects on ecosystem services.
Mitchell, MG; Suarez-Castro, AF; Martinez-Harms, M; et al. (Elsevier (Cell Press), 21 February 2015)Landscape structure and fragmentation have important effects on ecosystem services, with a common assumption being that fragmentation reduces service provision. This is based on fragmentation's expected effects on ecosystem ... -
Service delivery systems: the transformational context
Ponsignon, Frédéric; Smart, Andi; Maull, Roger S. (2007)This paper suggests that many of the works found within the services literature require reappraisal to ensure their relevance and utility in a radically changing business landscape. Approaching inquiry from a General Systems ...