A Logic Specification and Implementation Approach for Object Oriented Database Security

Authors:
Xianjun Ni
Affiliations:
-
Venue:
WKDD '08 Proceedings of the First International Workshop on Knowledge Discovery and Data Mining
Year:
2008

Citing 0
Cited 1

Using ASP for knowledge management with user authorization

Data & Knowledge Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is to investigate the implementation of security mechanism in object oriented database system. Formal methods play 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.