Xiaolei Qian

IEEE Trans. Knowl. Data Eng., 1997

Opportunities in Information Management and Assurance.

[BibT_eX]

[DOI]

SIGMOD Rec., 1997

Secure Software Architectures.

[BibT_eX]

[DOI]

Mark Moriconi

Robert A. Riemenschneider

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

1996

Computational Issues in Secure Interoperation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

A MAC Policy Framework for Multilevel Relational Databases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1996

New Programs at DARPA and NSF.

[BibT_eX]

[DOI]

SIGMOD Rec., 1996

Scientist's Called Upon to Take Actions.

[BibT_eX]

[DOI]

SIGMOD Rec., 1996

Shutdown, Budget, and Funding.

[BibT_eX]

[DOI]

SIGMOD Rec., 1996

View-Based Access Control with High Assurance.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996

A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification.

[BibT_eX]

[DOI]

Simon N. Foley

Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996

Query Folding.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996

Correct Schema Transformations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 1996

1995

Correct Architecture Refinement.

[BibT_eX]

[DOI]

Mark Moriconi

Robert A. Riemenschneider

IEEE Trans. Software Eng., 1995

Enriching the Expressive Power of Security Labels.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1995

Opportunities at ARPA, NSF, and Elsewhere

[BibT_eX]

[DOI]

SIGMOD Rec., 1995

Turmoil at NASA, and Numerous Funding Announcements.

[BibT_eX]

[DOI]

SIGMOD Rec., 1995

Political Winds Change Direction Again.

[BibT_eX]

[DOI]

SIGMOD Rec., 1995

Query Interoperation Among Object-Oriented and Relational Databases.

[BibT_eX]

[DOI]

Louiqa Raschid

Proceedings of the Eleventh International Conference on Data Engineering, 1995

Towards a MAC Policy Framework.

[BibT_eX]

Proceedings of the Database Security IX: Status and Prospects, 1995

1994

Formal Query Languages for Secure Relational Databases.

[BibT_eX]

[DOI]

Marianne Winslett

Kenneth P. Smith

ACM Trans. Database Syst., 1994

Announcements from NSF, NASA, and Elsewhere.

[BibT_eX]

[DOI]

SIGMOD Rec., 1994

Jumping on the NII Bandwagon.

[BibT_eX]

[DOI]

SIGMOD Rec., 1994

Inference channel-free integrity constraints in multilevel relational databases.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994

The complexity and composability of secure interoperation.

[BibT_eX]

[DOI]

Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994

Correctness and Composition of Software Architectures.

[BibT_eX]

[DOI]

Mark Moriconi

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

A Model-Theoretic Semantics of the Multilevel Relational Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 1994

1993

The Deductive Synthesis of Database Transactions.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1993

Referential Opacity In Nondeterministic Data Refinement.

[BibT_eX]

[DOI]

Allen Goldberg

LOPLAS, 1993

Detection and elimination of inference channels in multilevel relational database systems.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, 1993

A Logical Semantics for Object-Oriented Databases.

[BibT_eX]

[DOI]

José Meseguer

Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

Semantic Interoperation Via Intelligent Mediation.

[BibT_eX]

[DOI]

Proceedings of the RIDE-IMS '93, 1993

1992

Integrity Maintenance in Object-Oriented Databases.

[BibT_eX]

[DOI]

H. V. Jagadish

Proceedings of the 18th International Conference on Very Large Data Bases, 1992

Tuple-level vs Element-level Classification.

[BibT_eX]

Proceedings of the Database Security, 1992

Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases.

[BibT_eX]

Proceedings of the Database Security, 1992

1991

Incremental Recomputation of Active Relational Expressions.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1991

The Expressive Power of the Bounded-Iteration Construct.

[BibT_eX]

[DOI]

Acta Informatica, 1991

1990

An Axiom System for Database Transactions.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1990

Consistency Control of Replicated Data in Federated Databases.

[BibT_eX]

Proceedings of the First Workshop on the Management of Replicated Data, 1990

Synthesizing Database Transactions.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Very Large Data Bases, 1990

Consistency management in a project management assistant.

[BibT_eX]

[DOI]

Richard Jüllig

Marilyn Daum

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

1989

The deductive synthesis of database transactions.

[BibT_eX]

[DOI]

PhD thesis, 1989

1988

A Transaction Logic for Database Specification.

[BibT_eX]

[DOI]

Richard J. Waldinger

Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

An Effective Method for Integrity Constraint Simplification.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Data Engineering, 1988

Distribution Design of Integrity Constraints.

[BibT_eX]

Proceedings of the Expert Database Systems, 1988

1987

Integrity Constraint Reformulation for Efficient Validation.

[BibT_eX]

[DOI]

Douglas R. Smith

Proceedings of the VLDB'87, 1987

Modeling Asynchrony in Distributed Databases.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Data Engineering, 1987

1986

Knowledge-based Integrity Constraint Validation.

[BibT_eX]

[DOI]

Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

1985

Data Definition Facilities of Critias.

[BibT_eX]