Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)

Details Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)

2010-09-07

arxiv.org/abs/1009.4625v1

Computer Science

Cryptography and Security

12 pages, 3 figures, short version to appear in the Proceedings of WOSS'10, 1st Workshop on Software Services: Frameworks and

Scientific paper

We formalize automated analysis techniques for the validation of web services specified in BPEL and a RBAC variant tailored to BPEL. The idea is to use decidable fragments of first-order logic to describe the state space of a certain class of web services and then use state-of-the-art SMT solvers to handle their reachability problems. To assess the practical viability of our approach, we have developed a prototype tool implementing our techniques and applied it to a digital contract signing service inspired by an industrial case study.

Affiliated with

Also associated with

No associations

Rating

Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-705072