Cristi Garvey

Publication Activity (10 Years)

Years Active: 1988-1992
Publications (10 Years): 0

Publications

Amy Wu, Eric R. Anderson, Cristi Garvey
Secure system architectures and integration. ACSAC (1992)
Benedetto L. DiVito, Cristi Garvey, D. Kwong, A. Murray, Jane Solomon, Amy Wu
The Deductive Theory Manager: A Knowledge Based System for Formal Verification. IEEE Symposium on Security and Privacy (1990)
Cristi Garvey, Thomas H. Hinke, Nancy R. Jensen, Jane Solomon, Amy Wu
A Layered TCB Implementation versus the Hinke-Schaefer Approach. DBSec (1989)
Cristi Garvey, Amy Wu
ASDViews [relational databases]. IEEE Symposium on Security and Privacy (1988)
Cristi Garvey, Nancy R. Jensen, Jackson Wilson
The Advanced Secure DBMS: Making Secure DBMSs Usable. DBSec (1988)