Trustworthy Service Composition Research Articles

SC-TRUST: A Dynamic Model for Trustworthy Service Composition in the Internet of Things

A future Internet of Things (IoT) will feature a service-oriented architecture consisting of lightweight computing platforms offering individual, loosely coupled microservices. Often, an end-user will request a bespoke service that will require a composition of two or more microservices offered by different service providers. However, the underlying complexities of soft compositions and the increased security risks are inherent in such a massively decentralized and distributed architecture. The use of trust management to secure the IoT is well studied in the literature. However, there are limitations to its use in service compositions in the IoT. Specifically, transparent (agnostic) trust composition and decomposition remain key problems for this area. A novel model for trustworthy service compositions in the IoT, SC-TRUST, is therefore proposed to deal with these challenges. In this study, the trust properties of service compositions and the effect of service workflows on transparent trust composition and decomposition are investigated. Based on the findings, relevant trust evaluation functions are derived to guide the compositions. SC-TRUST was implemented in a suitable application and its performance, in terms of the utility derived and the trust accuracy, convergence, and resiliency, was evaluated. The results show that SC-TRUST improves the quality of service compositions and adequately mitigates trust-related attacks, thus increasing both efficiency and security.

Validating trustworthy service composition through VIPLE and pi-calculus

The current formal verification practice focuses on functionality and does not consider verification of the non-functional attributes. In this study, we propose a method in which non-functional attributes are incorporated into the logic rules of inference in terms of composition of the linear logic and pi-calculus. Giving the credibility to non-functional attributes is important, especially in the cloud computing platform and IoT environments, where trust and security are ultra-important. Such studies have not been paid much attention by researchers and practitioners. In our approach, the evolvement of the non-functional attributes is included in the process of formal verification of the service composition scheme. In addition to theoretical analysis, we applied a tool named Visual IoT/robotics Programming Language Environment (VIPLE) to execute and verify the validity of the service composition model's function. We translate the proving process of the linear logic into the corresponding pi-calculus expressions. VIPLE can translate visual work flow into pi-calculus and can verify the correctness of pi-calculus expressions.

Validating trustworthy service composition through VIPLE and pi-calculus

Validating trustworthy service composition through VIPLE and pi-calculus

A Behavior Based Trustworthy Service Composition Discovery Approach in Cloud Environment

With the development of cloud computing, more and more individuals and organizations have moved local application resources into the cloud computing resource pool in the form of Web services so that users can choose to invoke. This paper proposes a trustworthy service composition discovery approach to satisfy user requirements including behavioral constraints in a cloud environment. First, we build a global service composition discovery model based on sematic relationships between attributes and present a service composition discovery method. Then, we propose a method for detecting behavioral consistency. We validate the feasibility and effectiveness of the proposed solutions through a case study.

Trustworthy service composition with secure data transmission in sensor networks

As the basis of the Internet of Things (IoT), sensor networks have materialized its computation and communication capability into anything in our modern lives. Service composition provides us a promising way to cooperate various sensors to build more powerful IoT applications over sensor networks. However, the limited capability of sensor node poses great challenges not only to trustworthy service composition but also to secure data aggregation. The complex composite structure, computation-intensive evaluation, and massive data transmission become burdens for service composition in sensor networks. To overcome these issues, this paper proposes a distributed approach to enable efficient trustworthy service composition with secure data transmission in sensor networks. By analyzing dependency relationships, the rules for computing service trust and data trust are proposed based a multi-level trust model. Then, each target component service can be evaluated independently through a model checker. Moreover, an identity-based aggregate signature is introduced in the composite evaluation to guarantee the secure data transmission among different components. The experimental results show that our approach not only achieves efficient trustworthy service composition with complex invocation structures, but also reduces the costs in the secure data transmission.

A Trustworthy Web Service Composition Method for Ubiquitous Computing

Mobile users using smart mobile device have a considerable amount of requirements of services from mobile cloud or internet, due to its resource scarcity. It is a big challenge to select the services meeting users' all demands, as the user has both the demands of trust and lower cost. The existing methods (Hang and Singh, 2011; Wu et al., 2014) of trustworthy service composition cannot balance the profits between the service provider and consumer in mobile situation. First, we design a heuristic algorithm, called feasible allocation set generation (FASG), to reduce the complexity of generating feasible allocation sets. Second, to balance the profits between service providers and consumers, a service composition method, based on the social surplus maximisation, is put forward and the corresponding heuristic algorithm, called RCA_H, is also designed to find the optimal feasible solution in polynomial time. Experiment results show that the proposed RCA_H algorithm guarantees the profits of both sides, and obtains more trusted service and better facilitates service providers to provide trustworthy services to meet users' customised needs compared with another method (Oh et al., 2008) based on user utility maximisation.

CHC-TSCM: A trustworthy service composition method based on an improved CHC genetic algorithm

Trustworthy service composition is an extremely important task when service composition becomes infeasible or even fails in an environment which is open, autonomic, uncertain and deceptive. This paper presents a trustworthy service composition method based on an improved Cross generation elitist selection, Heterogeneous recombination, Catacly-smic mutation (CHC) Trustworthy Service Composition Method (CHC-TSCM) genetic algorithm. CHC-TSCM firstly obtains the total trust degree of the individual service using a trust degree measurement and evaluation model proposed in previous research. Trust combination and computation then are performed according to the structural relation of the composite service. Finally, the optimal trustworthy service composition is acquired by the improved CHC genetic algorithm. Experimental results show that CHC-TSCM can effectively solve the trustworthy service composition problem. Comparing with GODSS and TOCSS, this new method has several advantages: 1) a higher service composition success-rate; 2) a smaller decline trend of the service composition success-rate, and 3) enhanced stability.