共 24 条
[1]
Abadi M., 1998, P 25 S PRINC PROGR L, P149
[2]
[Anonymous], P ACM WORKSH COMP SU
[3]
A secure and reliable bootstrap architecture
[J].
1997 IEEE SYMPOSIUM ON SECURITY AND PRIVACY - PROCEEDINGS,
1997,
:65-71
[4]
DEAN D, 1996, P S SEC PRIV IEEE MA
[5]
GLEW N, 1999, P 26 ACM SIGPLAN SIG, P250
[6]
*IEEE, 1994, 12751994 IEEE
[7]
KOZEN D, 1998, 981661 CORN U COMP S
[8]
KOZEN D, 2002, LECT NOTES COMPUTER, V2469, P71
[9]
LINDHOLM T, 1996, JAVA VIRTUAL MACHINE
[10]
MORRISETT G, 1998, 25 ACM S PRINC PROGR, P85