机译:源代码分析以消除Java套接字程序中的安全漏洞:一个案例研究
机译:使用源代码分析识别和消除软件安全漏洞:带有密码验证功能的Java文件编写器程序的案例研究
机译:使用源代码分析识别和消除软件安全漏洞:带有密码验证功能的Java文件编写器程序的案例研究
机译:基于模型的Java程序静态源代码分析,其中包含应用于Android安全性
机译:Java源代码的高效静态分析,以确保安全
机译:安全的JAVA小程序和应用程序:从JAVA安全模型中学到的准则和经验教训
机译:用于删除Java socket中的安全漏洞的源代码分析 课程:案例研究
机译:应用于恶意代码检测的程序的静态分析。