WSAT: A Tool for Formal Analysis of Web Services
No abstract available.
Related papers
- Formal Reasoning About the Security of Amazon Web Services CAV 2018
- Verifying policy-based web services security TOPLAS 2008
- VyPR2: A Framework for Runtime Verification of Python Web Services TACAS 2019
- Structured Communication-Centered Programming for Web Services TOPLAS 2012
- A theory of contracts for Web services TOPLAS 2009
- A semantics for web services authentication POPL 2004
- Reachability Analysis for AWS-Based Networks CAV 2019
- Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning CAV 2021