Abstract Service clouds built on cloud infrastructures and service-oriented architecture
provide users with a novel pattern of composing basic services to achieve complicated …

This paper proposes a formal framework for studying information flow security in component-
based systems. The security policy is defined and verified from the early steps of the system …

This paper proposes a framework for the detection of information leaks in workflow
descriptions based on static information flow analysis. Despite the correct deployment of …

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 …

We have identified the following three problems for the processing of aggregated personal
information with respect to privacy preferences: Unverifiable proof of consent, unverifiable …

In today's dynamic and distributed markets a large spectrum of services is delivered through
information and communication technologies. Emerging markets of e-services lie at the …

Dynamic service composition in wireless environment provides us with a promising
approach to build complex applications based on the basic value-added services. In …

Nowadays, cyber-physical systems consist of a large and possibly unbounded number of
nodes operating in a partially unknown environment to which they need to adapt. They also …

Homomorphic encryption allows the direct operations on encrypted data, which provides a
promising way to protect outsourcing data in clouds. However, it can not guarantee the end …

Scientific workflows have recently emerged as a new paradigm for representing and
managing complex distributed scientific computations and data analysis, and have enabled …