共 29 条
[1]
Bell D. E., 1976, MTR2997 MITRE CORP
[2]
Biba K. J., 1975, MTR3153 MITRE CORP
[3]
COKHANI S, 1989, MITRE89W262 WORK PAP
[4]
CUMMINGS PT, 1987, 1987 P IEEE S SEC PR
[5]
DENNING DER, 1983, CRYPTOGRAPHY DATA SE
[6]
FABRY RS, 1974, COMMUN ACM, V17
[7]
Lamport Leslie, 1986, LATEX DOCUMENT PREPA
[9]
MILLEN JK, 1978, 2D P IEEE COMP SOC I
[10]
SALTZER J, 1975, P IEEE, V63