Context-aware and model-driven approach for embedding and verifying security into composed web services. (c2013)

LAUR Repository

Show simple item record

dc.contributor.author Tout, Hanine Ahmad
dc.date.accessioned 2015-09-14T05:36:42Z
dc.date.available 2015-09-14T05:36:42Z
dc.date.copyright 2013 en_US
dc.date.issued 2016-03-07
dc.date.submitted 2013-06-06
dc.identifier.uri http://hdl.handle.net/10725/2131
dc.description.abstract Today's process-oriented composition languages such as BPEL (Business Process Execution Language) offer a high level of abstraction and sophistication to Web services composition. However, such languages suffer serious drawbacks with respect to security, modularity and adaptability. Particularly, they lack the security features needed in distributed computational environments like Web services composition. In addition, they do not provide means for an explicit and well-modularized specification of cross-cutting concerns. They also do not support the dynamic adaptation with the environmental execution changes. In this thesis, we advocate new approach that provides systematic and model-driven security specification at the Web services composition level, in addition to dynamic integration in a seamless fashion. It is based on an extension of the BPEL meta-model with new aspect-oriented constructs for designing and building modularized, secure, conflict-free and highly adaptable Web services composition within BPEL processes. Moreover, we extend our approach by adopting security licenses in BPEL and provide process level license verification that replaces the monopolization of such validation at the Web services side. Furthermore, we introduce two different real-life case studies along with performance analysis and experimental results to demonstrate the usefulness of our proposition. Finally, we carry out a formal verification mechanism to ensure that the integration of the new security aspects does not affect the original behavior of the Web services business process, which remains deadlock and conflictfree. en_US
dc.language.iso en en_US
dc.subject Web services -- Security measures en_US
dc.subject BPEL (Computer program language) en_US
dc.subject Model-driven software architecture en_US
dc.subject Dissertations, Academic en_US
dc.subject Lebanese American University -- Dissertations en_US
dc.title Context-aware and model-driven approach for embedding and verifying security into composed web services. (c2013) en_US
dc.type Thesis en_US
dc.term.submitted Spring en_US
dc.author.degree MS in Computer Science en_US
dc.author.school SAS en_US
dc.author.idnumber 201005231 en_US
dc.author.commembers Mansour, Nashat
dc.author.commembers Sharafeddine, Sanaa
dc.author.woa OA en_US
dc.author.department Computer Science en_US
dc.description.embargo N/A en_US
dc.description.physdesc 1 hard copy: xvi, 106 p.; 30 cm. available at RNL. en_US
dc.author.advisor Mourad, Azzam
dc.keywords Web services en_US
dc.keywords BPEL en_US
dc.keywords AOP en_US
dc.keywords Security en_US
dc.keywords XrML en_US
dc.keywords RBL en_US
dc.keywords Model checker en_US
dc.keywords Petri nets en_US
dc.keywords LTL en_US
dc.description.bibliographiccitations Includes bibliographical references (leaves 99-106). en_US
dc.identifier.doi https://doi.org/10.26756/th.2013.43 en_US
dc.publisher.institution Lebanese American University en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search LAUR

Advanced Search


My Account