A novel formal framework for secure dynamic services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2008
- CIT 2008
Publications
Date
Featured collections
Popular topics
23 results for Yong Qi
SpiG4WSC: A calculus for secure services composition1
- Xu Dong Hong
- Qi Yong
- et al.
- 2008
- SCC 2008
A study on software rejuvenation model of application server cluster in two-dimension state space using Markov process
- Yong Qi
- Haining Meng
- et al.
- 2008
- Information Technology Journal
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
Software aging forecasting model of service-oriented application server based on wavelet network with adaptive genetic algorithm
- Hai Ning Meng
- Yong Qi
- et al.
- 2007
- International Conference on Natural Computation 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 study on context-aware privacy protection for personal information
- Zhang Qingsheng
- Qi Yong
- et al.
- 2007
- ICCCN 2007
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 security-aware dynamic web services composition
- Dong-Hong Xu
- Yong Qi
- et al.
- 2007
- ICCSA 2007
Forecasting software aging of service-oriented application server based on wavelet network with adaptive genetic algorithm
- Meng Hai Ning
- Qi Yong
- et al.
- 2007
- ICAC 2007