共 31 条
[1]
[Anonymous], P 2004 ACM SIGSOFT I
[2]
[Anonymous], 2003, ACM C COMP COMM SEC
[3]
Using programmer-written compiler extensions to catch security holes
[J].
2002 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS,
2002,
:143-159
[4]
BALL T, 2001, LECT NOTES COMPUTER, V2057, P103
[5]
BISHOP M, 1996, COMPUTING SYSTEMS, V9
[6]
CHEN H, 2002, 9 ACM C COMP COMM SE
[7]
Improving computer security using extended static checking
[J].
2002 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS,
2002,
:160-173
[8]
CHESS D, 2000, P 2000 VIR B C VB200
[9]
Christodorescu M, 2003, USENIX ASSOCIATION PROCEEDINGS OF THE 12TH USENIX SECURITY SYMPOSIUM, P169
[10]
CIUBOTARIU M, 2004, VIRUS B MAY, P4