Paper Info
Title
Aspect Oriented Approach to Building Secure Service Composition
Abstract
Service composition is an effective way to achieve value-added service, which has found wide application in various areas. security design at architecture level is critical to achieve high assurance for these applications. However, most security design techniques for service composition were in ad hoc fashion and fell short in precise notations. This paper proposes a formal aspect-oriented approach to designing and analyzing secure service composition. The underlying formalism is Petri net and its modeling method, and focuses on the service authorization, implementation trace ability, data protection and fault handling. Aspect specification provides means to observe behaviors of basic aspect schema, and to describe their interrelationship, while the weaving mechanism systematically integrates these schemas into a complete service composition model. Based on this, the security and fault recovery mechanism of service composition are analyzed, and its correctness and effectiveness are proved. A case study of Export Service demonstrates the approach can simplify the modeling process and improve the design quality.
Year
DOI
Venue
2010
10.1109/APSEC.2010.29
APSEC
Keywords
Field
DocType
design quality,value-added service,service authorization,complete service composition model,aspect specification,security design,building secure service composition,security design technique,secure service composition,service composition,basic aspect schema,aspect oriented approach,semantics,aspect oriented,software architecture,web services,data models,authorization,aspect oriented programming,formal specification,authorisation,weaving,security,petri nets,software fault tolerance,data protection,software quality,petri net
Petri net,Systems engineering,Aspect-oriented programming,Computer science,Correctness,Software fault tolerance,Formal specification,Software architecture,Value-added service,Web service
Conference
ISSN
Citations 
PageRank 
1530-1362
6
0.50
References 
Authors
19
4
Name
Order
Citations
PageRank
Guisheng Fan19125.45
Huiqun Yu210621.74
Liqiong Chen37519.61
Dongmei Liu47512.42