Automata-Based Verification of Security Requirements of Composite Web Services.
Hongyu SunSamik BasuVasant G. HonavarRobyn R. LutzPublished in: ISSRE (2010)
Keyphrases
- security requirements
- composite web services
- smart card
- security analysis
- security properties
- information security
- access control
- security policies
- security mechanisms
- model checking
- high security
- web services composition
- security patterns
- secure electronic
- software architecture
- service selection
- cryptographic protocols
- development lifecycle
- formal methods
- service composition
- security protocols