A semantics for web services authentication.
Karthikeyan BhargavanCédric FournetAndrew D. GordonPublished in: POPL (2004)
Keyphrases
- web services
- web service composition
- formal semantics
- logic programming
- business processes
- web applications
- service oriented
- semantic descriptions
- user authentication
- operational semantics
- description language
- service architecture
- business process
- semantic information
- integrity verification
- layered architecture
- databases
- semantic matchmaking
- automatic discovery
- loosely coupled
- service composition
- service providers
- knowledge base