Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC.
Alberto CalviSilvio RaniseLuca ViganòPublished in: SYNASC (2010)
Keyphrases
- web services
- access control
- role based access control
- composition of web services
- web services composition
- security mechanisms
- security flaws
- service composition
- rbac model
- business processes
- service oriented
- security requirements
- data security
- business process
- security policies
- web service composition
- service discovery
- service oriented architecture
- description language
- web applications
- business applications
- quality of service
- network security
- semantic web services
- service providers
- colored petri nets
- security model
- access control policies
- loosely coupled
- security issues
- security analysis
- access control mechanism
- access control models
- semantic web technologies
- database security
- resource constrained
- business process management
- information security
- formal methods
- statistical databases
- intrusion detection