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