Xiaolei Qian

According to our database1, Xiaolei Qian
  • authored at least 48 papers between 1985 and 1997.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1997
A Semantic Framework of the Multilevel Secure Relational Model.
IEEE Trans. Knowl. Data Eng., 1997

Opportunities in Information Management and Assurance.
SIGMOD Record, 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 Record, 1996

Scientist's Called Upon to Take Actions.
SIGMOD Record, 1996

Shutdown, Budget, and Funding.
SIGMOD Record, 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

Query Folding.
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 Record, 1995

Turmoil at NASA, and Numerous Funding Announcements.
SIGMOD Record, 1995

Political Winds Change Direction Again.
SIGMOD Record, 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 Record, 1994

Jumping on the NII Bandwagon.
SIGMOD Record, 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 SIGSOFT '94, 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 Inf., 1991

1990
An Axiom System for Database Transactions.
Inf. Process. Lett., 1990

Consistency Control of Replicated Data in Federated Databases.
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
On the Expressive Power of the Bounded Iteration Construct.
Proceedings of the Second International Workshop on Database Programming Languages, 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.
Expert Database Conf., 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


  Loading...