Verifying policy-based security for web services.
Karthikeyan BhargavanCédric FournetAndrew D. GordonPublished in: CCS (2004)
Keyphrases
- web services
- access control
- rbac model
- security flaws
- security requirements
- security policies
- security issues
- security systems
- information security
- access control policies
- service oriented
- business processes
- trust negotiation
- statistical databases
- security management
- role based access control
- policy enforcement
- web applications
- semantic web services
- network security
- description language
- service providers
- service oriented architecture
- optimal policy
- security protocols
- privacy policies
- automatic discovery
- intrusion detection
- business process
- service architecture
- quality of service
- web services composition
- service composition
- data security
- security analysis
- security mechanisms
- web service composition