An improved calculus for secure dynamic services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2008
- COMPSAC 2008
Publications
5 results for Dong-Hong Xu
A novel formal framework for secure dynamic services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2008
- CIT 2008
A formal model for security-aware dynamic web services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2007
- ICCSA 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
Towards formal basis for security aspects of dynamic web services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2007
- TENCON 2007