Validating a web service security abstraction by typing.
Andrew D. GordonRiccardo PucellaPublished in: Formal Aspects Comput. (2005)
Keyphrases
- web services
- information security
- security issues
- security problems
- security requirements
- intrusion detection
- information assurance
- high level
- access control
- service composition
- security policies
- security systems
- computer security
- security management
- web applications
- database
- statistical databases
- network security
- service oriented
- web service selection
- business process
- web service discovery
- service architecture
- security properties
- secret key
- key management
- encryption scheme
- loosely coupled
- web service composition
- business applications
- distributed systems
- service providers