Aspect Oriented Approach to Building Secure Service Composition

Fan, Guisheng; Yu, Huiqun; Chen, Liqiong; Li, Dongmei

doi:10.1109/apsec.2010.29

Cited by 7 publications

(4 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, there is a lack of details illustrating how the security action is realized. Finally, Fan [12] presents a formal aspect-oriented approach to design and enforce service composition with security requirements. The main contribution is the proposition of formalizing the AOP enforcement environment to realize security requirements in service compositions.…”

Section: Enforcement Of Security Requirementsmentioning

confidence: 99%

“…Related work already focus on related issues such as: specification of security requirements [2,8,19,21,26,28,[34][35][36], translation of high-level security requirements into security executable configurations [21,31,36], translation of the functional business process into an executable process [24,25] and security enforcement [7,9,12,37]. However, there is a lack of a holistic environment that integrates all the aforementioned points, which includes not only the security modeling, translation and enforcement, but also the functional business process automation in the same approach.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Automation of service-based security-aware business processes in the Cloud

et al. 2015

View full text Add to dashboard Cite

The use of business process standards to model and execute business needs is growing rapidly. In addition, Service-oriented Computing has been adopted to realize business processes, which basically consists of executing the process activities using services available in the Internet. In this context, the importance of security is apparent, because sensitive data sent over the Internet may be accessed by unauthorized thirdparties. To prevent security problems, users may associate security requirements that must be enforced in essential tasks of the business process. This fact leads to the need of automation, because both functional and security requirements should be modeled, at high-level, and enforced, at execution level. This work proposes a cloud-based solution named BPA-Sec4Cloud that supports all phases of the security-aware business process automation, from its modeling to its deployment. The use of a cloud-based solution facilitates the deployment process because all needed resources are available in the cloud and ready to be used. In addition, the cloud is also used as a platform in order to provide specific services, such as translators, to support the automation process. In order to evaluate the BPA-Sec4Cloud, the solution was compared against existing solutions through the use of metrics related to the quality of generated artifacts. B Fernando Lins

show abstract

Section: Enforcement Of Security Requirementsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Automation of service-based security-aware business processes in the Cloud

et al. 2015

View full text Add to dashboard Cite

show abstract

“… Introduce t s and p s to describe the beginning operation and position of user request and initiate the user request on the basis of the characteristics of the job. Transition t e and place p e are introduced to describe the termination operation and position of user request then synthesize and output the corresponding results on the basis of the relationships between jobs The model of job J a i , i is shown by a dashed box in Figure .…”

Section: Job Scheduling Model For Cloud Data Centermentioning

confidence: 99%

“…All the possibly reachable states of S are denoted by R ( S ). The remaining concepts can refer to the work of Fan et al…”

Section: Job Scheduling Model For Cloud Data Centermentioning

confidence: 99%

Formally modeling and analyzing cost‐aware job scheduling for cloud data center

Fan

Chen

et al. 2018

Softw Pract Exp

Self Cite

View full text Add to dashboard Cite

Summary With the rapid development of cloud computing, many distributed data centers have been deployed. This means larger energy consumption requirements from the data center. How to reduce the cost of data center has received significant attention recently. Although there are several efforts in studying energy consumption of the data center, very few have considered modeling and analyzing cost‐aware job scheduling for the cloud data center. To address this emerging problem, we propose a systematic approach that considers both basic elements and their relationships in cloud data center. First, we present a formal language to describe the cloud data center, and a job scheduling net is proposed to formally model the basic elements such as user request, Web portal, data center, and server. Second, we minimize the total cost of the cloud data center by considering the multidimensional resource and local electricity price on the basis of the state space of constructed model. The dynamic job scheduling algorithm and its specific execution steps are proposed based on the alternating direction method of multipliers algorithm. Third, the operational semantics and related theories of Petri nets for establishing the correctness of our proposed method are presented. Finally, a series of simulations are performed to illustrate that the proposed method can guarantee the correct behavior of job scheduling in the cloud data center while meeting the required cost.

show abstract

An Approach to Modeling and Analyzing Security Requirements of Service Composition

Fan

Chen

et al. 2011

2011 IEEE Asia-Pacific Services Computing Conference

View full text Add to dashboard Cite

Aspect Oriented Approach to Building Secure Service Composition

Cited by 7 publications

References 23 publications

Automation of service-based security-aware business processes in the Cloud

Automation of service-based security-aware business processes in the Cloud

Formally modeling and analyzing cost‐aware job scheduling for cloud data center

An Approach to Modeling and Analyzing Security Requirements of Service Composition

Contact Info

Product

Resources

About