When several databases with multilevel security policies are federated to form a tightly coupled federated database management system, heterogeneities such as different accreditation ranges must be overcome. This paper describes an extended methodology to integrate policies that use different lattices as accreditation ranges. A semi-automatic process obtains the federated accreditation range an...

We set out a modal logic for reasoning about multilevel security of probabilistic systems. This logic includes modalities for time, probability, knowledge, and permitted-knowledge. Making use of the Halpern-Tuttle framework for reasoning about knowledge and probability, we give a semantics for our logic and prove that it is sound. We give two syntactic de nitions of perfect multilevel security ...

In this paper, we propose a new multiversion locking protocol for real-time database systems for providing multilevel security. Real-Time DBMS(RTDBMS) is a system that processes transactions with explict timing constraints. Thus, it must satisfy not only logical data consistency but also timing constraints associated with transactions. There are increasing needs for security in many application...

We describe the extensions to the relational query language SQL that are necessary to support multilevel security in database management systems. In a multilevel secure database with data at a variety of sensitivity levels. The data classifications are provided by security assertions. Consequently, the data definition language and the data manipulat ion language should provide support for incor...

In this paper we describe multilevel security issues for hypermedia-based information retrieval database management systems. We first summarize the discussion in our earlier paper on the use of object-oriented approach for developing secure information retrieval systems and then discuss in detail how such a system can be augmented by a Linker to provide hypermedia database management system cap...

The study of databases through formal logic has not only enabled efficient proof procedures to be developed for query evaluation and integrity checking, but it has also resulted in the development of more intelligent and powerful database management systems. Despite all these advances, a logic for reasoning in a multilevel environment or a logic programming system for multilevel environments do...

This article considers the synthesis of two long-standing lines of research in computer security: security correctness for multilevel databases, and language-based security. The motivation is an approach to supporting multilevel and multilateral security for a wide class of enterprise applications, those of concurrent transactional applications. The approach extends nested transactions with ret...

We characterized the information in a multilevel state of the world that is captured by a multilevel relational database. Based on the characterization, we formalized the security semantics of tuple-level and element-level data classiication schemes. Entity and referential integrity constraints for the multilevel relational model are derived from the security semantics. We also showed that the ...