Distributed Information Flow Verification Framework for the Composition of Service Chain in Wireless Sensor Network

Abstract

Dynamic service composition provides us with a promising approach to cooperate different sensor nodes in WSN to build complex applications based on their basic functions. Usually multiple nodes located in different regions provide data with different security levels, and it is critical to ensure the security of the information flow in the composite services. However, the energy-limited nature of sensor nodes in WSN poses a significant challenge for the centralized information flow verification with which the verification node needs to consume lots of computation and network resources. In this paper, we specify the security constraints for each service participant to secure the information flow in a service chain based in the lattice model and then present a distributed verification framework that cooperates different service participants to verify their information flow policies distributively. The evaluation results show a significant decrease on the verification cost of the single verification node, which provides a better load balance in each sensor node.

Secure service composition with information flow control in service clouds

“…In this paper, we investigate a typical scenario of service composition, i.e., the service chain s ch [10], as shown in Fig. 2.…”

“…These rules are used to ensure the security of dynamically derived data and their proliferation to other web services. Xi et al [10] obtain the dynamic intra and inter dependencies among the objects in composite service based on program slicing. Nakajima [11] verifies the information flow of composite services in BPEL (Business Process Execution Language) based on model checking.…”

Applying improved particle swarm optimization for dynamic service composition focusing on quality of service evaluations under hybrid networks

“…5,6 In practice, different solutions with different compositions of dynamic services will feature different non-functional features and performance, thus increasing the difficulty of achieving a dynamic service composition under a hybrid network to generate a reliable composition for the user. To guarantee the overall QoS of composite services, many researchers have proposed methods of selecting services to achieve a dynamic service composition, [7][8][9] including business modeling, service verification, 10,11 service testing, and service evolution. The core idea underlying these methods includes determining how to automatically discover, select, and compose multiple individual services into a composite service.…”

Analyzing Comprehensive QoS with Security Constraints for Services Composition Applications in Wireless Sensor Networks

“…In these approaches, WSNs are packaged as some standard Web services which can be published, located, and invoked across the Web. Therefore, based on Business Process Execution Language (BPEL), these WSNs services can be combined into a workflow to fulfill some tasks by the way of services composition [ 12 – 14 ].…”