Irem Aktug,Mads Dam,Dilian Gurov.Provably correct runtime monitoring [J].The journal of logic and algebraic programming,2009,78(5):262-277.
[2]
Almut Herzog,et al.Performance of the Java security manager [J].Computers & Security,2005,24(3):192-207.
[3]
Koufi V,et al.Context-aware access control for pervasive access to process-based healthcare systems [J].Studies in Health Technology and Informatics,2008,136:679-684.
[4]
Zhang X,Edwards A,Jaeger T.Using CQUAL for static analysis of authorization hook placement [A].Proceedings of the 11th Usenix Security Symposium [C].San Francisco,CA,USA:USENIX Association,2002.33-48.
A P Sistla,et al.CMV:Automatic verification of complete mediation for Java Virtual Machine [A].Proceedings of ASIACCS''08 [C].New York,USA:ACM,2008.100-111.
[7]
H Chen,D Wagner.MOPS:an infrastructure for examining security properties of software [A].CCS''02 Proceedings of the 9th ACM Conference on Computer and Communications Security [C].New York,USA:ACM,2002.235-244.
[8]
王祥根,等.基于代码覆盖的恶意代码多路径分析方法[J] .电子学报,2009,37(4):701-705.Wang Xiang-gen,et al.Exploring multiple execution paths for malware analysis based on coverage of codes [J].Acta Electronica Sinica,2009,37(4):701-705.(in Chinese)
[9]
Ben H Thacker,David S Riha,et al.Probabilistic engineering analysis using the NESSUS software [J].Structural Safety,2006,28(1/2):83-107.
Anand S,Pasareanu C S,Visser W.JPF-SE:A symbolic execution extension to Java Pathfinder [A].Proceedings of TACAS''07 [C].Heidelberg:Springer,2007.134-138.
[12]
X Fu,X Lu,B Peltsverger,et al.A static analysis framework for detecting SQL injection vulnerabilities [A].Proceedings of the 31st Annual International Computer Software and Applications Conference [C].New York,USA:ACM,2007.87-96.
[13]
Sable Research Group.Soot:A Java optimization framework [OL].http://www.sable.mcgill.ca/soot/ tutorial/index.htm,2010-01-01.
[14]
严俊,郭涛等. JUTA:一个Java自动化单元测试工具[J].计算机研究与发展,2010,47(10):1840-1848.Yan Jun,Guo Tao,et al.JUTA:An automated unit testing framework for Java [J].Journal of Computer Research and Development,2010,47(10):1840-1848.(in Chinese)
