The Bell-La Padula security model produced conceptual tools for the analysis and design of
secure computer systems. Together with its sibling engineering initiatives, it identified and …

Consider a data holder, such as a hospital or a bank, that has a privately held collection of
person-specific, field structured data. Suppose the data holder wants to share a version of …

A multilevel database is intended to provide the security needed for database systems that
contain data at a variety of classifications and serve a set of users having different …

Although there are several efforts underway to build multilevel secure relational database
management systems, there is no clear consensus regarding what a multilevel secure …

This chapter introduces a new approach to temporal extensions of SQL. In contrast with most
of the current proposals we use single time points as references to time, while still achieving …

Americans are increasingly concerned about the privacy of personal dataâ€" yet we demand
more and more information for public decision making. This volume explores the seeming …

In a multilevel secure database management system (MLS/DBMS) users cleared at different
security levels access and share a database consisting of data at a variety of sensitivity …

We develop a formal logical foundation for secure deductive databases. This logical
foundation is based on an extended logic involving several modal operators. We develop …

Securing the supply chain of integrated circuits is of utmost importance to computer security.
In addition to counterfeit microelectronics, the theft or malicious modification of designs in …

The authors investigate the inference problems due to functional dependencies (FD) and
multivalued dependencies (MVD) in a multilevel relational database (MDB) with attribute …