Network authentication tokens. - Russell J. Davis (ACSAC, 1989)

Software checking with the Auditor's Aid. - Russell J. Davis (ACSAC, 1990)

Security pipeline interface (SPI). - Lance J. Hoffman; Russell J. Davis (ACSAC, 1990)