@article{(Open Science Index):https://publications.waset.org/pdf/7076, title = {A Formal Implementation of Database Security}, author = {Yun Bai}, country = {}, institution = {}, abstract = {This paper is to investigate the impplementation of security mechanism in object oriented database system. Formal methods plays an essential role in computer security due to its powerful expressiveness and concise syntax and semantics. In this paper, both issues of specification and implementation in database security environment will be considered; and the database security is achieved through the development of an efficient implementation of the specification without compromising its originality and expressiveness.}, journal = {International Journal of Mathematical and Computational Sciences}, volume = {2}, number = {1}, year = {2008}, pages = {29 - 31}, ee = {https://publications.waset.org/pdf/7076}, url = {https://publications.waset.org/vol/13}, bibsource = {https://publications.waset.org/}, issn = {eISSN: 1307-6892}, publisher = {World Academy of Science, Engineering and Technology}, index = {Open Science Index 13, 2008}, }