A Formal Model for Security-Aware dynamic Web Services Composition.
Dong-Hong XuYong QiDi HouYing ChenLiang LiuPublished in: ICCSA Workshops (2007)
Keyphrases
- formal model
- web services composition
- security properties
- security patterns
- composition of web services
- web service composition
- service composition
- security requirements
- process algebra
- highly reliable
- formal models
- web services
- information security
- domain specific
- key management
- security issues
- security policies
- predicate calculus
- intrusion detection
- high level