共 42 条
[1]
Abadi M., 1999, Conference Record of POPL '99. 26th ACM SIGPLAN-SIGACT. Symposium on Principles of Programming Languages, P147, DOI 10.1145/292540.292555
[2]
Agat J., 2000, THESIS CHALMERS U TE
[4]
Foundational proof-carrying code
[J].
16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS,
2001,
:247-256
[5]
Askarov A, 2005, LECT NOTES COMPUT SC, V3679, P197
[6]
Aydemir BE, 2005, LECT NOTES COMPUT SC, V3603, P50
[8]
Barthe G, 2004, LECT NOTES COMPUT SC, V2937, P2
[9]
Barthe G., 2011, LECT NOTES COMPUTER, V7173, P73
[10]
Tractable enforcement of declassification policies
[J].
CSF 2008: 21ST IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM, PROCEEDINGS,
2008,
:83-97