Jane Solomon

Publication Activity (10 Years)

Years Active: 1982-1990
Publications (10 Years): 0

Publications

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)
Jane Solomon
Specification-to-Code Correlation. IEEE Symposium on Security and Privacy (1982)