Language-based security on Android
暂无分享,去创建一个
[1] George C. Necula,et al. Proof-carrying code , 1997, POPL '97.
[2] Feng Qian,et al. Soot (poster session): a Java bytecode optimization and annotation framework , 2000, OOPSLA '00.
[3] Greg Nelson,et al. Extended static checking for Java , 2002, PLDI '02.
[4] J. Saxe,et al. Extended static checking for Java , 2002, PLDI '02.
[5] S. Rajamani,et al. A type system for data-flow integrity on windows vista , 2008, PLAS '08.
[6] Avik Chaudhuri,et al. A type system for data-flow integrity on Windows Vista , 2008, SIGP.
[7] Patrick D. McDaniel,et al. Understanding Android Security , 2009, IEEE Security & Privacy Magazine.
[8] Laurie Hendren,et al. Soot: a Java bytecode optimization framework , 2010, CASCON.