...
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:与Java和PHP安全码相关的性能分析与评估
机译:自动化Java挑战'行业培训安全评估 - 初步结果
机译:CincosEecurity:基于java EE应用程序的细粒度角色和安全配置文件的可重复使用的安全模块
机译:Java的上下文相关安全类型系统。
机译:安全的JAVA小程序和应用程序:从JAVA安全模型中学到的准则和经验教训
机译:Java移动代码安全策略与Java应用程序需求之间的权衡分析