Modeling security software architecture based on process algebra
GAN Hou-yong,WU Guo-qing,HU Yong-tao
Journal of Computer Applications . 2005, (12): 2811 -2813 .