Bai, Y. (2008), 'Reasoning with Dynamic Domains and Computer Security', World Academy of Science, Engineering and Technology, Open Science Index 13, International Journal of Mathematical and Computational Sciences, 2(1), 32 - 34.