On Verifying the Consistency of Remote Untrusted Services
Christian CachinOlga OhrimenkoPublished in: CoRR (2013)
Keyphrases
- web services
- third party
- model checking
- service providers
- service oriented
- context aware
- mobile applications
- service discovery
- web technologies
- remote access
- building blocks
- ubiquitous computing
- service composition
- consistency checking
- european project
- global consistency
- security policies
- data sharing
- service quality
- wireless sensor networks
- digital libraries