Modelling and Verification of Web Services Business Activity Protocol
Abstract elided by the publisher.
Related papers
- Decentralizing execution of composite web services OOPSLA 2004
- A semantics for web services authentication POPL 2004
- Verifying policy-based web services security TOPLAS 2008
- Theoretical foundations for compensations in flow composition languages POPL 2005
- Verified interoperable implementations of security protocols TOPLAS 2008
- Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses CAV 2016
- Work stealing for interactive services to meet target latency PPoPP 2016
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services ESOP 2009