1990 |
3 | | 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: 306-318 |
1989 |
2 | | Cristi Garvey,
Thomas H. Hinke,
Nancy R. Jensen,
Jane Solomon,
Amy Wu:
A Layered TCB Implementation versus the Hinke-Schaefer Approach.
DBSec 1989: 151-165 |
1988 |
1 | | Cristi Garvey,
Nancy R. Jensen,
Jackson Wilson:
The Advanced Secure DBMS: Making Secure DBMSs Usable.
DBSec 1988: 187-195 |