字节码验证相关硕士博士期刊学术论文 - 搜论网

字节码验证相关论文

基于J2ME技术的安全策略研究

随著移动技术的发展，移动技术得到了广泛应用。但由于移动设备的无线环境及软件开发语言的局限性，使得移动应用系统存在着许多安全问......

期刊

J2ME MIDlets 字节码验证 HTTPS 数据加密

Java虚拟机安全性的形式化分析和验证

本文提出了一种描述Java虚拟机语义的形式化模型,该模型包含Java虚拟机安全体系结构中两个最重要的特性:字节码验证和动态类加载。......

学位

类型安全字节码验证动态类加载类型系统操作语义定理证明 HOL系统

看过本文同时还关注