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
19 results for Di Hou
Modeling and performance analysis of software rejuvenation policies for multiple degradation systems
- Xiaozhi Du
- Yong Qi
- et al.
- 2009
- COMPSAC 2009
A mixed software rejuvenation policy for multiple degradations software system
- Xiaozhi Du
- Yong Qi
- et al.
- 2009
- HPCC 2009
A clustering and selection model for service composition using granular computing
- Yuan-Sheng Luo
- Qi Yong
- et al.
- 2009
- ICIEA 2009
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
SpiG4WSC: A calculus for secure services composition1
- Xu Dong Hong
- Qi Yong
- et al.
- 2008
- SCC 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
A rough wavelet network model with genetic algorithm and its application to aging forecasting of application server
- Hai-Ning Meng
- Yong Qi
- et al.
- 2007
- ICMLC 2007