A Logic Specification and Implementation Approach for Object Oriented Database Security | IEEE Conference Publication | IEEE Xplore