WASET
    Yun Bai,  A Formal Implementation of Database Security.   journal   = {International Journal of Mathematical and Computational Sciences}, [online]. World Academy of Science, Engineering and Technology.
    January 2008, vol. 13(1). 29 - 31
    [viewed 29 March 2024]. Available from: https://publications.waset.org/pdf/7076.