Tisa
Tisa extended service-oriented architecture with trustworthy means for clients to specify, brokers to verify, and implementations to prove that desired non-functional properties, such as access and persistence restrictions on the data in a service request, are satisfied during request processing. The project also built a prototype implementation to demonstrate the practical value of the approach.
This project concluded during the lab’s time at Iowa State University.
Publications
- NarayanappaMSThesis · Monitoring software using property-aware program sampling
- PASTE '10 · Property-Aware Program Sampling
- ESOP '09 · Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services
- IEEE SOC '08 · Tisa: Towards Trustworthy Services in a Service-oriented Architecture
- Hosamani MS Thesis · Bootstrapping trust in service oriented architecture
- NWeSP '07 · How to Trust a Web Service Monitor Deployed in an Untrusted Environment?
- IW-SOSWE '07 · Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture