共 22 条
[1]
ABADI M, 1994, DEC SRC125 TECH REP
[2]
ANDERSON RJ, 1993 P ACM C COMP CO, P215
[3]
ANDERSON RJ, LECTURE NOTES COMPUT, V648, P411
[4]
ANDERSON RJ, 1993, IN PRESS 4TH P IMA C
[6]
BOYD C, PREPROCEEDINGS EUROC, V93, pT88
[7]
Brooks Frederick P., 1975, MYTHICAL MAN MONTH
[8]
BULL JA, LECTURE NOTES COMPUT, V648, P3
[9]
A LOGIC OF AUTHENTICATION
[J].
PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES,
1989, 426 (1871)
:233-271
[10]
BUTLER RW, 1991, DEC P ACM S SOFTW CR, P66