A semantics for web services authentication.
Karthikeyan BhargavanCédric FournetAndrew D. GordonPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- web services
- business processes
- formal semantics
- semantic web services
- web applications
- logic programming
- semantic information
- description language
- business process
- service oriented
- authentication scheme
- data intensive
- semantic matchmaking
- biometric authentication
- image authentication
- quality of service
- service providers
- knowledge base
- end users
- operational semantics
- service description
- automatic discovery
- web technologies
- semantic descriptions
- service oriented architecture
- web services composition