Yun Bai, Reasoning with Dynamic Domains and Computer Security. journal = {International Journal of Mathematical and Computational Sciences}, [online]. World Academy of Science, Engineering and Technology. January 2008, vol. 13(1). 32 - 34 [viewed 20 September 2024]. Available from: https://publications.waset.org/pdf/737.