Protocol Conformance Checking of Services with Exceptions.
Christian HeikeWolf ZimmermannAndreas BothPublished in: ESOCC (2012)
Keyphrases
- communication protocols
- web services
- mobile payment
- service providers
- protocol specification
- lightweight
- service oriented
- service composition
- ubiquitous computing
- information services
- end users
- service discovery
- transaction processing systems
- mobile commerce
- cryptographic protocols
- automated trust negotiation
- distributed computing environment
- resource reservation
- user privacy
- security services
- authentication protocol
- security protocols
- credit card
- mobile services
- agent technology
- computing environments
- context aware