Bai, Y.. "A Formal Implementation of Database Security". World Academy of Science, Engineering and Technology, Open Science Index 13, International Journal of Mathematical and Computational Sciences (2008), 2(1), 29 - 31.