共 30 条
[1]
Abadi M., 2000, LECT NOTES COMPUTER, V1872, P3
[2]
ABADI M, 2001, LNCS, V2215, P82
[3]
Abadi Martin, 1997, P 4 ACM C COMP COMM, P36, DOI [10.1145/266420.266432, DOI 10.1145/266420.266432]
[4]
[Anonymous], 1982, 23 ANN S FDN COMPUTE, DOI DOI 10.1109/SFCS.1982.45
[5]
[Anonymous], 1996, LNCS
[6]
Backes M, 2004, LECT NOTES COMPUT SC, V3193, P89
[7]
Backes M, 2004, LECT NOTES COMPUT SC, V2951, P336
[8]
Backes M, 2003, LECT NOTES COMPUT SC, V2808, P271
[9]
Intransitive non-interference for cryptographic purposes
[J].
2003 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS,
2003,
:140-152
[10]
Backes M, 2002, LECT NOTES COMPUT SC, V2502, P1