Constructing Security Protocol Specifications for Web Services.
Béla GengePiroska HallerOvidiu RatoiPublished in: IDC (2008)
Keyphrases
- security protocols
- web services
- automated design
- artificial immune algorithm
- formal descriptions
- cryptographic algorithms
- security services
- service oriented
- security mechanisms
- key management
- web service composition
- authentication protocol
- service providers
- business processes
- rfid systems
- security requirements
- rfid tags
- service composition
- composite services
- smart card
- data mining