TeCoS / SeCoS -

Reliable and Secure Operation of Service-Based Systems

Problem Description

In recent years, the Service-Oriented Architecture (SOA) has emerged as a means to create loosely coupled distributed cross-organizational applications. Particularly in enterprise environments, service-based applications and business processes operate under specific constraints regarding reliability and security. Therefore, ensuring the correct behavior of service-based systems (SBS) is a key concern, both with regard to functional requirements (Does the SBS operate and process the data correctly?) and non-functional requirements, particularly security and access control (Does the SBS comply with the security constraints imposed by the business application?). In this work, we follow a rigid research approach towards these issues and focus on well-structured and sophisticated methodologies for providing reliable and secure operation of SBSs.

This project embraces two orthogonal efforts that are summarized under the terms TeCoS and SeCoS:

TeCoS - Test Coverage for Service-based systems: In this project, we provide a framework for testing SBSs and analyse Verification and Validation (V&V) techniques for different dimensions (API, data flow, dynamic binding) and levels of granularity (single operation, service, service mashup, process-based service composition and choreography).
SeCoS - Secure Collaboration in Service-based systems: This project is concerned with identity management and runtime enforcement of complex role-based access control (RBAC) constraints spanning multiple services in cross-organizational business processes.

Tools

SeCoS

WS-BPEL Transformation for Runtime Enforcement of Security Constraints

Code Download

t.b.a.

Publications

group by:

generated by

1. Journal Papers (1)

2013 (1)

Testing of Data-Centric and Event-Based Dynamic Service Compositions. Hummer, W.; Raz, O.; Shehory, O.; Leitner, P.; and Dustdar, S. 2013. Software Testing, Verification and Reliability(to appear).

id_2._Conference_Proceedingsunfolded.gif

2. Conference Proceedings (6)

id_2._Conference_Proceedings_2013unfolded.gif

2013 (2)

Identifying Incompatible Service Implementations using Pooled Decision Trees. Inzinger, C.; Hummer, W.; Satzger, B.; Leitner, P.; and Dustdar, S. 2013. In 28th ACM Symposium on Applied Computing (SAC'13), DADS Track.

Fifty Shades of Grey in SOA Testing. Wotawa, F.; Schulz, M.; Pill, I.; Jehan, S.; Leitner, P.; Hummer, W.; Schulte, S.; Hoenisch, P.; and Dustdar, S. 2013. In Workshop on Advances in Model Based Testing @ ICST'13.

id_2._Conference_Proceedings_2012unfolded.gif

2012 (1)

Towards Identifying Root Causes of Faults in Service-Based Applications. Inzinger, C.; Hummer, W.; Satzger, B.; Leitner, P.; and Dustdar, S. 2012. In 31st International Symposium on Reliable Distributed Systems (SRDS), (poster paper).

id_2._Conference_Proceedings_2011unfolded.gif

2011 (3)

Towards Efficient Measuring of Web Services API Coverage. Hummer, W.; Raz, O.; and Dustdar, S. 2011. In 3rd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS), co-located with ICSE'11.

An Integrated Approach for Identity and Access Management in a SOA Context. Hummer, W.; Gaubatz, P.; Strembeck, M.; Zdun, U.; and Dustdar, S. 2011. In 16th ACM Symposium on Access Control Models and Technologies (SACMAT'11).

Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems. Hummer, W.; Raz, O.; Shehory, O.; Leitner, P.; and Dustdar, S. 2011. In 4th International Conference on Software Testing, Verification and Validation (ICST'11).

Statistics: ? unique visitors, ? downloads | Link To This Page.

Contact

People

Prototypes Overview

... back to prototypes