Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A formal aspect-oriented method to model and analyse secure service composition

A formal aspect-oriented method to model and analyse secure service composition Service-oriented computing (SOC) is becoming a prominent paradigm for creating value-added enterprise applications by composing web services. However, this flexibility comes along with new security risks. In this paper, Petri nets are used to precisely describe the different components of service composition, such as service, component, the basic relation between components, etc. The dynamic matching strategy of service composition is proposed, aspect orientation is used to weave it into the base net, which includes evaluation concern, authorisation concern and failure processing concern, the weaving mechanism dynamically integrates these schemas into a secure aspect model. Based on this, the operation semantics and related Copyright © 2015 Inderscience Enterprises Ltd. G. Fan et al. theories of Petri nets help prove the effectiveness and feasibility of proposed method, the enforcement algorithm is also given. An example explains the modelling process of service composition, and a series of experiments are done to explain that the use of aspects for service composition is more efficient than conventional techniques. Keywords: aspect orientation; security; Petri nets; access control; service composition. Reference to this paper should be made as follows: Fan, G., Yu, H., Chen, L. and Liu, D. (2015) `A formal aspect-oriented method to model http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png International Journal of Autonomous and Adaptive Communications Systems Inderscience Publishers

A formal aspect-oriented method to model and analyse secure service composition

Loading next page...
 
/lp/inderscience-publishers/a-formal-aspect-oriented-method-to-model-and-analyse-secure-service-8OxCoqM0wT

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Inderscience Publishers
Copyright
Copyright © 2015 Inderscience Enterprises Ltd.
ISSN
1754-8632
eISSN
1754-8640
DOI
10.1504/IJAACS.2015.069574
Publisher site
See Article on Publisher Site

Abstract

Service-oriented computing (SOC) is becoming a prominent paradigm for creating value-added enterprise applications by composing web services. However, this flexibility comes along with new security risks. In this paper, Petri nets are used to precisely describe the different components of service composition, such as service, component, the basic relation between components, etc. The dynamic matching strategy of service composition is proposed, aspect orientation is used to weave it into the base net, which includes evaluation concern, authorisation concern and failure processing concern, the weaving mechanism dynamically integrates these schemas into a secure aspect model. Based on this, the operation semantics and related Copyright © 2015 Inderscience Enterprises Ltd. G. Fan et al. theories of Petri nets help prove the effectiveness and feasibility of proposed method, the enforcement algorithm is also given. An example explains the modelling process of service composition, and a series of experiments are done to explain that the use of aspects for service composition is more efficient than conventional techniques. Keywords: aspect orientation; security; Petri nets; access control; service composition. Reference to this paper should be made as follows: Fan, G., Yu, H., Chen, L. and Liu, D. (2015) `A formal aspect-oriented method to model

Journal

International Journal of Autonomous and Adaptive Communications SystemsInderscience Publishers

Published: Jan 1, 2015

There are no references for this article.