1997
A Semantic Framework of the Multilevel Secure Relational Model.
IEEE Trans. Knowl. Data Eng., 1997
Opportunities in Information Management and Assurance.
SIGMOD Rec., 1997
Secure Software Architectures.
Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997
1996
Computational Issues in Secure Interoperation.
IEEE Trans. Software Eng., 1996
A MAC Policy Framework for Multilevel Relational Databases.
IEEE Trans. Knowl. Data Eng., 1996
New Programs at DARPA and NSF.
SIGMOD Rec., 1996
Scientist's Called Upon to Take Actions.
SIGMOD Rec., 1996
Shutdown, Budget, and Funding.
SIGMOD Rec., 1996
View-Based Access Control with High Assurance.
Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996
A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification.
Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996
Proceedings of the Twelfth International Conference on Data Engineering, February 26, 1996
Correct Schema Transformations.
Proceedings of the Advances in Database Technology, 1996
1995
Correct Architecture Refinement.
IEEE Trans. Software Eng., 1995
Enriching the Expressive Power of Security Labels.
IEEE Trans. Knowl. Data Eng., 1995
Opportunities at ARPA, NSF, and Elsewhere
SIGMOD Rec., 1995
Turmoil at NASA, and Numerous Funding Announcements.
SIGMOD Rec., 1995
Political Winds Change Direction Again.
SIGMOD Rec., 1995
Query Interoperation Among Object-Oriented and Relational Databases.
Proceedings of the Eleventh International Conference on Data Engineering, 1995
Towards a MAC Policy Framework.
Proceedings of the Database Security IX: Status and Prospects, 1995
1994
Formal Query Languages for Secure Relational Databases.
ACM Trans. Database Syst., 1994
Announcements from NSF, NASA, and Elsewhere.
SIGMOD Rec., 1994
Jumping on the NII Bandwagon.
SIGMOD Rec., 1994
Inference channel-free integrity constraints in multilevel relational databases.
Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994
The complexity and composability of secure interoperation.
Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, 1994
Correctness and Composition of Software Architectures.
Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994
A Model-Theoretic Semantics of the Multilevel Relational Model.
Proceedings of the Advances in Database Technology, 1994
1993
The Deductive Synthesis of Database Transactions.
ACM Trans. Database Syst., 1993
Referential Opacity In Nondeterministic Data Refinement.
LOPLAS, 1993
Detection and elimination of inference channels in multilevel relational database systems.
Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, 1993
A Logical Semantics for Object-Oriented Databases.
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993
Semantic Interoperation Via Intelligent Mediation.
Proceedings of the RIDE-IMS '93, 1993
1992
Integrity Maintenance in Object-Oriented Databases.
Proceedings of the 18th International Conference on Very Large Data Bases, 1992
Tuple-level vs Element-level Classification.
Proceedings of the Database Security, 1992
Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases.
Proceedings of the Database Security, 1992
1991
Incremental Recomputation of Active Relational Expressions.
IEEE Trans. Knowl. Data Eng., 1991
The Expressive Power of the Bounded-Iteration Construct.
Acta Informatica, 1991
1990
An Axiom System for Database Transactions.
Inf. Process. Lett., 1990
Consistency Control of Replicated Data in Federated Databases.
Proceedings of the First Workshop on the Management of Replicated Data, 1990
Synthesizing Database Transactions.
Proceedings of the 16th International Conference on Very Large Data Bases, 1990
Consistency management in a project management assistant.
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990
1989
The deductive synthesis of database transactions.
PhD thesis, 1989
1988
A Transaction Logic for Database Specification.
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988
An Effective Method for Integrity Constraint Simplification.
Proceedings of the Fourth International Conference on Data Engineering, 1988
Distribution Design of Integrity Constraints.
Proceedings of the Expert Database Systems, 1988
1987
Integrity Constraint Reformulation for Efficient Validation.
Proceedings of the VLDB'87, 1987
Modeling Asynchrony in Distributed Databases.
Proceedings of the Third International Conference on Data Engineering, 1987
1986
Knowledge-based Integrity Constraint Validation.
Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986
1985
Data Definition Facilities of Critias.
Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985