Security Requirements in Web Service Composition: Formalization, Integration, and Verification.
Ilyass El KassmiZahi JarirPublished in: WETICE (2016)
Keyphrases
- web service composition
- security requirements
- service composition
- web services
- security analysis
- smart card
- access control
- petri net
- discrete particle swarm optimization
- security properties
- information security
- description language
- software architecture
- ai planning
- security patterns
- security policies
- automated web service composition
- security mechanisms
- web services composition
- secure electronic
- high security
- formal model
- service oriented
- service selection
- web service compositions
- model checking
- data integration
- software systems
- web service selection
- intrusion detection
- open source
- high level