Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)
Alberto CalviSilvio RaniseLuca ViganòPublished in: CoRR (2010)
Keyphrases
- web services
- access control
- role based access control
- composition of web services
- web services composition
- rbac model
- service composition
- security flaws
- business processes
- service oriented
- security mechanisms
- security policies
- business process
- web service composition
- security issues
- semantic web services
- description language
- service oriented architecture
- security requirements
- intrusion detection
- data security
- service discovery
- role based access control model
- quality of service
- access control models
- network security
- security model
- web applications
- multi domain
- statistical databases
- information security
- access control mechanism
- colored petri nets
- access control systems
- access control policies
- human operators
- business applications
- security analysis
- security management
- business process modeling
- service providers