A formal model for security-aware dynamic web services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2007
- ICCSA 2007
Publications
Date
Featured collections
Popular topics
5 results for Dong-Hong Xu
An improved calculus for secure dynamic services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2008
- COMPSAC 2008
A novel formal framework for secure dynamic services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2008
- CIT 2008
Towards formal basis for security aspects of dynamic web services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2007
- TENCON 2007
A formal model for dynamic web services composition MAS-based and simple security analysis using Spi calculus
- Dong-Hong Xu
- Yong Qi
- et al.
- 2007
- NWeSP 2007