Oliver Costich

A multilevel transaction problem for multilevel secure database systems and its solution for the replicated architecture

A definition of multilevel transaction for multilevel secure databases is proposed, and a notion of correctness that is consistent with the traditional idea of correctness of replicated systems is defined. To demonstrate the applicability of these ideas, an algorithm for correct transaction processing within this framework is presented for replicated architecture multilevel databases.<<ETX>>

A classical automata approach to noninterference type problems

Using classical automata theory the authors show how noninterference can be viewed as a relatively simple phenomenon. They also give direction for future work concerning probabilistic security problems using classical automata theory.<<ETX>>

Analysis of a storage channel in the two phase commit protocol

The authors discuss how a noisy storage channel arises in the two phase commit protocol. The analysis is done through Shannons information theory. They discuss how large the channel is and offer suggestions on how to diminish the channel capacity.<<ETX>>

Using Object Modeling Techniques To Design MLS Data Models

The expressiveness of the data model has a significant impact on the functionality of the resulting database system. The more general the data model, the less need be lost when the conceptual model is mapped onto a particular data model.