共 25 条
- [1] [Anonymous], PROCEEDINGS OF THE 1
- [2] Chandra D., 2007, PROCEEDINGS OF THE 2
- [3] Cheng W., 2006, Proceedings of the IEEE Symposium on Computers and Communications (ISCC), P749
- [4] Clause J., 2007, P 2007 INT S SOFTW T, P196, DOI DOI 10.1145/1273463.1273490
- [5] Costa M., 2005, P 21 ACM SIGOPS S OP, P133
- [6] Crandall JR, 2004, INT SYMP MICROARCH, P221
- [7] CERTIFICATION OF PROGRAMS FOR SECURE INFORMATION-FLOW [J]. COMMUNICATIONS OF THE ACM, 1977, 20 (07) : 504 - 513
- [8] Egele M., 2007, P 2007 USENIX ANN TE, P233
- [9] Gilbert P., 2010, PROCEEDINGS OF THE 9
- [10] Haldar V., 2005, P 21 ANN COMPUTER SE, P303