| |
| 1990 | ||
|---|---|---|
| 2 | 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 | ||
| 1 | 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 | |
| 1 | Benedetto L. DiVito | [2] |
| 2 | Cristi Garvey | [1] [2] |
| 3 | Thomas H. Hinke | [1] |
| 4 | Nancy R. Jensen | [1] |
| 5 | D. Kwong | [2] |
| 6 | A. Murray | [2] |
| 7 | Amy Wu | [1] [2] |