Keyphrases
- protocol specification
- distributed computing environment
- service providers
- cryptographic protocols
- message delivery
- trusted third party
- service discovery
- web services
- service times
- messages exchanged
- internet protocol
- mobile services
- information services
- application layer
- formal analysis
- mobile payment
- service composition
- management system
- end users