Xiaolei Qian

Publication Activity (10 Years)

Years Active: 1985-1997
Publications (10 Years): 0

Publications

Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong
Secure Software Architectures. IEEE Symposium on Security and Privacy (1997)
Xiaolei Qian
Opportunities in Information Management and Assurance. SIGMOD Rec. 26 (1) (1997)
Xiaolei Qian, Teresa F. Lunt
A Semantic Framework of the Multilevel Secure Relational Model. IEEE Trans. Knowl. Data Eng. 9 (2) (1997)
Xiaolei Qian
Scientist's Called Upon to Take Actions. SIGMOD Rec. 25 (3) (1996)
Xiaolei Qian
View-Based Access Control with High Assurance. IEEE Symposium on Security and Privacy (1996)
Xiaolei Qian
New Programs at DARPA and NSF. SIGMOD Rec. 25 (4) (1996)
Simon N. Foley, Li Gong, Xiaolei Qian
A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification. IEEE Symposium on Security and Privacy (1996)
Xiaolei Qian
Query Folding. ICDE (1996)
Li Gong, Xiaolei Qian
Computational Issues in Secure Interoperation. IEEE Trans. Software Eng. 22 (1) (1996)
Xiaolei Qian
Correct Schema Transformations. EDBT (1996)
Xiaolei Qian, Teresa F. Lunt
A MAC Policy Framework for Multilevel Relational Databases. IEEE Trans. Knowl. Data Eng. 8 (1) (1996)
Xiaolei Qian
Shutdown, Budget, and Funding. SIGMOD Rec. 25 (1) (1996)
Xiaolei Qian
Turmoil at NASA, and Numerous Funding Announcements. SIGMOD Rec. 24 (3) (1995)
Xiaolei Qian
Opportunities at ARPA, NSF, and Elsewhere SIGMOD Rec. 24 (4) (1995)
Xiaolei Qian
Political Winds Change Direction Again. SIGMOD Rec. 24 (1) (1995)
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider
Correct Architecture Refinement. IEEE Trans. Software Eng. 21 (4) (1995)
Xiaolei Qian, Teresa F. Lunt
Towards a MAC Policy Framework. DBSec (1995)
Xiaolei Qian, Louiqa Raschid
Query Interoperation Among Object-Oriented and Relational Databases. ICDE (1995)
Li Gong, Xiaolei Qian
Enriching the Expressive Power of Security Labels. IEEE Trans. Knowl. Data Eng. 7 (5) (1995)
Marianne Winslett, Kenneth P. Smith, Xiaolei Qian
Formal Query Languages for Secure Relational Databases. ACM Trans. Database Syst. 19 (4) (1994)
Xiaolei Qian
A Model-Theoretic Semantics of the Multilevel Relational Model. EDBT (1994)
Xiaolei Qian
Jumping on the NII Bandwagon. SIGMOD Rec. 23 (3) (1994)
Li Gong, Xiaolei Qian
The complexity and composability of secure interoperation. IEEE Symposium on Security and Privacy (1994)
Xiaolei Qian
Inference channel-free integrity constraints in multilevel relational databases. IEEE Symposium on Security and Privacy (1994)
Xiaolei Qian
Announcements from NSF, NASA, and Elsewhere. SIGMOD Rec. 23 (4) (1994)
Mark Moriconi, Xiaolei Qian
Correctness and Composition of Software Architectures. SIGSOFT FSE (1994)
Xiaolei Qian
Semantic Interoperation Via Intelligent Mediation. RIDE-IMS (1993)
Xiaolei Qian, Allen Goldberg
Referential Opacity In Nondeterministic Data Refinement. LOPLAS 2 (1-4) (1993)
Xiaolei Qian
The Deductive Synthesis of Database Transactions. ACM Trans. Database Syst. 18 (4) (1993)
Xiaolei Qian, Mark E. Stickel, Peter D. Karp, Teresa F. Lunt, Thomas D. Garvey
Detection and elimination of inference channels in multilevel relational database systems. IEEE Symposium on Security and Privacy (1993)
José Meseguer, Xiaolei Qian
A Logical Semantics for Object-Oriented Databases. SIGMOD Conference (1993)
Xiaolei Qian, Teresa F. Lunt
Tuple-level vs Element-level Classification. DBSec (1992)
Thomas D. Garvey, Teresa F. Lunt, Xiaolei Qian, Mark E. Stickel
Toward a Tool to Detect and Eliminate Inference Problems in the Design of Multilevel Databases. DBSec (1992)
H. V. Jagadish, Xiaolei Qian
Integrity Maintenance in Object-Oriented Databases. VLDB (1992)
Xiaolei Qian
The Expressive Power of the Bounded-Iteration Construct. Acta Informatica 28 (7) (1991)
Xiaolei Qian, Gio Wiederhold
Incremental Recomputation of Active Relational Expressions. IEEE Trans. Knowl. Data Eng. 3 (3) (1991)
Xiaolei Qian
Synthesizing Database Transactions. VLDB (1990)
Xiaolei Qian, Richard Jüllig, Marilyn Daum
Consistency management in a project management assistant. SDE (1990)
Gio Wiederhold, Xiaolei Qian
Consistency Control of Replicated Data in Federated Databases. Workshop on the Management of Replicated Data (1990)
Xiaolei Qian
An Axiom System for Database Transactions. Inf. Process. Lett. 36 (4) (1990)
Xiaolei Qian
On the Expressive Power of the Bounded Iteration Construct. DBPL (1989)
Xiaolei Qian, Richard J. Waldinger
A Transaction Logic for Database Specification. SIGMOD Conference (1988)
Xiaolei Qian
Distribution Design of Integrity Constraints. Expert Database Conf. (1988)
Xiaolei Qian
An Effective Method for Integrity Constraint Simplification. ICDE (1988)
Xiaolei Qian, Douglas R. Smith
Integrity Constraint Reformulation for Efficient Validation. VLDB (1987)
Gio Wiederhold, Xiaolei Qian
Modeling Asynchrony in Distributed Databases. ICDE (1987)
Xiaolei Qian, Gio Wiederhold
Knowledge-based Integrity Constraint Validation. VLDB (1986)
Xiaolei Qian, Gio Wiederhold
Data Definition Facilities of Critias. ER (1985)