Jane Solomon

According to our database, Jane Solomon authored at least 3 papers between 1982 and 1990.

Collaborative distances:

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

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

1982

Specification-to-Code Correlation.

Jane Solomon

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