Verifying policy-based web services security.
Karthikeyan BhargavanCédric FournetAndrew D. GordonPublished in: ACM Trans. Program. Lang. Syst. (2008)
Keyphrases
- web services
- security flaws
- rbac model
- access control
- web applications
- information security
- optimal policy
- trust negotiation
- service providers
- access control policies
- security requirements
- privacy policies
- computer security
- key management
- web service composition
- description language
- security issues
- semantic web services
- security systems
- security policies
- service composition
- security management
- policy enforcement
- security level
- automatic discovery
- multi domain
- intrusion detection
- cloud computing
- statistical databases
- network security
- service oriented
- model checking
- data security
- security mechanisms
- loosely coupled
- service oriented architecture
- service platform
- enterprise network
- privacy preserving
- business processes