共 4 条
[1]
A critique of the Burrows, Abadi and Needham logic[J] . Dan M. Nessett.ACM SIGOPS Operating Systems Review . 1990 (2)
[2]
Authentication revisited[J] . R M Needham,M D Schroeder.ACM SIGOPS Operating Systems Review . 1987 (1)
[3]
EFFICIENT AND TIMELY MUTUAL AUTHENTICATION.
[J].
Operating Systems Review (ACM),
1987, 21 (01)
:8-10