Secure service composition with information flow control in service clouds

Xi, Ning; Sun, Cong; Ma, Jianfeng; Shen, Yulong

doi:10.1016/j.future.2014.12.009

Cited by 23 publications

(16 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This enables the efficient use of network resources, ensuring compliance with the requirements for the reliability and speed of information processing. One of the most promising directions for the development of methods for ICN building is the use of adaptive control methods [7]. At present, the task of studying, analyzing and modelling data flows that arise in the process of operation and interoperability of applications in a network is not formalized and requires developing the models that reflect the information and technical structure of the network and data flows available in ICN.…”

Section: The Analysis Of the Problem And Available Methodsmentioning

confidence: 99%

Methods of Managing Traffic Distribution in Information and Communication Networks of Critical Infrastructure Systems

Кosenko¹,

Persiyanova²,

Belotskyy³

et al. 2017

Innovative Technologies and Scientific Solutions for Industries

View full text Add to dashboard Cite

Innovative technologies and scientific solutions for industries. 2017. No. 2 (2) METHODS OF MANAGING TRAFFIC DISTRIBUTION IN INFORMATION AND COMMUNICATION NETWORKS OF CRITICAL INFRASTRUCTURE SYSTEMSThe subject matter of the article is information and communication networks (ICN) of critical infrastructure systems (CIS). The goal of the work is to create methods for managing the data flows and resources of the ICN of CIS to improve the efficiency of information processing. The following tasks were solved in the article: the data flow model of multi-level ICN structure was developed, the method of adaptive distribution of data flows was developed, the method of network resource assignment to multi-server nodes was developed. The following methods used are -methods of mathematical statistics for random processes, the theory of queuing systems, methods of optimization theory and operations research. The following results were obtained -the principles of managing the distribution of network traffic in the ICN of CIS were formulated and the practical requirements arising in the efficiency of data transmission were determined. The possible approaches to the formulation and solution of the listed problems were suggested according to the developed general approach to network management. The multi-level information structure was investigated. The mathematical model of data flows of a multilevel information structure of the network was developed; it has a three-level unstratified structure and consists of a number of subnets and groups of nodes. The method for adaptive management of data flows distribution was developed; this method includes the stratified two-level management which is based on the development of a multidimensional space of the network state and management parameters taking into account user activities. The management is carried out at the first level by setting the basic parameters of the network, at the second -by operational management with constant basic parameters. The method for distributing the resources of a multi-server information processing node was developed, as server systems are considered as a set of single-line queuing systems and information about the distribution of the bandwidth of communication channels is used. Conclusions: using the method of the adaptive management of traffic distribution enables reducing the time for processing system transactions and total costs for maintenance. The use of the method resource distribution of the server node in the course of reengineering CIS processes minimizes the costs of servicing the data flows.

show abstract

Section: The Analysis Of the Problem And Available Methodsmentioning

confidence: 99%

Methods of Managing Traffic Distribution in Information and Communication Networks of Critical Infrastructure Systems

Кosenko¹,

Persiyanova²,

Belotskyy³

et al. 2017

Innovative Technologies and Scientific Solutions for Industries

View full text Add to dashboard Cite

show abstract

“…Xi et al presented a secure LTS‐based model checking approach to evaluate a service chain composition approach. The authors evaluated the proposed approach using the number of the candidate services per verification time using SPIN model checker.…”

Section: Categorizing Of Selected Service Composition Approachesmentioning

confidence: 99%

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Souri

Rahmani

Navimipour

2018

Int J Communication

View full text Add to dashboard Cite

Summary Today, service composition is emerging paradigm on the communication networks such as cloud environments, internet of things, wireless sensor network, and software‐defined network. The goal of service composition method is to provide the interactions between user requirements and smart objects of intelligent communication systems. There have been many efforts to use formal verification and behavioral modeling methods to evaluate the service composition mechanisms. Up to now, there is not a comprehensive analysis research on this topic. Therefore, this paper focuses on several formal verification approaches that are performed to confirm the service composition correctness in communication networks. The objective of this paper is to comprehensively categorize and examine current research techniques on formal verification of the service composition. This research analysis provides an overview of recent service composition approaches according to structural and functional properties. Comparison results show that most of the verification approaches in explanation of the service composition correctness are semantic‐aware approach with 43%. The most used verification method for the service composition is model checking with 69%. The process algebra is used 29%, and some theorem proving methods are applied in 9% of the investigated mechanism. Moreover, most widely used modeling tools are NuSMV (22%), SPIN (17%), CPN (12%), UPPAAL (12%), Event‐B (10%), and PAT (5%).

show abstract

“…在汇聚层, 主要采用 k-匿名、l-多样性、差分隐私等方法实现用户敏感信息的隐藏. 在应用层, 主要针对服务过程中的信息隐私保护, 如位置隐私等; 近年来, 随着服务组合技术的发展, 信息流控制技术被用于信息在不同服务间交互时的隐私保护 [199] .…”

Section: 隐私保护unclassified

网络空间安全综述

Dongdai¹,

Wenbao²,

Li³

et al. 2016

Sci. Sin.-Inf.

View full text Add to dashboard Cite

Secure service composition with information flow control in service clouds

Cited by 23 publications

References 20 publications

Methods of Managing Traffic Distribution in Information and Communication Networks of Critical Infrastructure Systems

Methods of Managing Traffic Distribution in Information and Communication Networks of Critical Infrastructure Systems

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

网络空间安全综述

Contact Info

Product

Resources

About