James F. Dray

According to our database, James F. Dray authored at least 1 paper in 1990.

Collaborative distances:

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

1990

Formal specification and verification of control software for cryptographic equipment.

D. Richard Kuhn, James F. Dray

Proceedings of the Sixth Annual Computer Security Applications Conference, 1990