2Necula G. Proof-Carrying code [J]. In: Jones N, Lee P, eds. Proc. of the POPL'97. New York: ACM Press, 1997:106-119. 被引量：1
3Appel A. Foundational proof-carrying code [J].In: Mairson H, ed. Proc. of the 16th Annual IEEE Syrup. on Logic in Computer Science. Washington: IEEE Computer Society, 2001 : 247-258. 被引量：1
1Nanda S, Chiueh T. A Survey on Virtualization Technologies: [RPE Report]. State University of New York at Stony Brook, Fevrier, 2005. 被引量：1
2Battistoni R, Gabrielli E, Mancini L V. A host intrusion prevention system for Windows operating systems. In: ESORICS' 04, 2004. 被引量：1
3Lam L, Chiueh. Automatic extraction of accurate application-specific sandboxing policy. In:RAID 04, Proceedings of the International Symposium on Recent Advances in Intrusion Detection, 2004. 被引量：1
4Russinovich M, Cogswell B. Windows NT System-Call Hooking. Dr. Dobb's Journal, January 1997. 被引量：1
5Srinivasan S M, Kandula S, Andrews C R, Zhou Y. Flashback: A lightweight extension for rollback and deterministic replay for software debugging. In:Proceedings of the 2004 USENIX Technical Conference, 2004. 被引量：1
6Necula G. Proof-Carrying code. In: Jones N, Lee P, eds. Proc. of the POPL'97. New York: ACM Press, 1997. 106-119. 被引量：1
7Appel AW. Foundational proof-carrying code. In: Mairson H, ed. Prec. of the 16th Annual IEEE Syrup. on Logic in Computer Science. Washington: IEEE Computer Society, 2001. 247-258. 被引量：1
8Chen J, Wu D, Appel AW, Fang H. A provably sound tail for back-end optimization. In: Cytron R, Gupta R, eds. Proc. of the PLDI 2003. New York: ACM Press, 2003. 208-219. 被引量：1
9Crary K. Toward a foundational typed assembly language. In: Morrisett G, ed. Proc. of the POPL 2003. New York: ACM Press, 2003. 198-212. 被引量：1
10Yu DC, Hamid NA, Shao Z. Building certified libraries for PCC: Dynamic storage allocation. In: Degano P, ed. Proc. of the 2003 European Syrup. on Programming. LNCS 2618. Berlin: Springer-Verlag, 2003. 被引量：1
