Cristi Garvey

According to our database, Cristi Garvey authored at least 5 papers between 1988 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1992

Secure system architectures and integration.

Amy Wu, Eric R. Anderson, Cristi Garvey

Proceedings of the Eighth Annual Computer Security Applications Conference, 1992

1990

The Deductive Theory Manager: A Knowledge Based System for Formal Verification.

Ben L. Di Vito, Cristi Garvey, D. Kwong, A. Murray, Jane Solomon, Amy Wu

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

1989

A Layered TCB Implementation versus the Hinke-Schaefer Approach.

Cristi Garvey, Thomas H. Hinke, Nancy R. Jensen, Jane Solomon, Amy Wu

Proceedings of the Database Security, 1989

1988

ASDViews [relational databases].

Cristi Garvey, Amy Wu

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

The Advanced Secure DBMS: Making Secure DBMSs Usable.

Cristi Garvey, Nancy R. Jensen, Jackson Wilson

Proceedings of the Database Security, 1988