%0 Journal Article
	%A Yun Bai
	%D 2008
	%J International Journal of Mathematical and Computational Sciences
	%B World Academy of Science, Engineering and Technology
	%I Open Science Index 13, 2008
	%T A Formal Implementation of Database Security
	%U https://publications.waset.org/pdf/7076
	%V 13
	%X 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.
	%P 29 - 31