Confidentiality, integrity, assured service: tying security all together. - Grace L. Hammonds (NSPW, 1993)

Verifying The Correctness Of Cryptographic Protocols Using "Convince". - Randall W. Lichota; Grace L. Hammonds; Stephen H. Brackin (ACSAC, 1996)