共 48 条
[1]
Abadi Martin, 2005, P 12 ACM C COMP COMM, P340, DOI DOI 10.1145/1102120.1102165
[2]
[Anonymous], P 10 USENIX SEC S BE
[3]
[Anonymous], 2005, PROCEEDINGS OF THE T
[4]
Using programmer-written compiler extensions to catch security holes
[J].
2002 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS,
2002,
:143-159
[5]
Avots D, 2005, PROC INT CONF SOFTW, P332
[6]
Baratloo A, 2000, USENIX ASSOCIATION PROCEEDINGS OF THE 2000 USENIX ANNUAL TECHNICAL CONFERENCE, P251
[7]
Bell D. E., 1973, Tech. Rep. 2547
[8]
Berger ED, 2006, ACM SIGPLAN NOTICES, V41, P158, DOI 10.1145/1133981.1134000
[9]
Bhatkar S., 2005, P 14 USENIX SEC S, P271
[10]
BIBA KJ, 1977, ESTR76372 EL SYST DI