Grace L. Hammonds

According to our database, Grace L. Hammonds authored at least 2 papers between 1993 and 1996.

Collaborative distances:

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

1996

Verifying The Correctness Of Cryptographic Protocols Using "Convince".

Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin

Proceedings of the 12th Annual Computer Security Applications Conference (ACSAC 1996), 1996

1993

Confidentiality, integrity, assured service: tying security all together.

Grace L. Hammonds

Proceedings of the Proceedings on the 1992-1993 Workshop on New Security Paradigms, 1993