类型安全相关论文
该文综合叙述了已经存在的使用基于语言的技术解决移动代码的安全问题的众多研究,详细描述了携带证明的代码(PCC)和类型化汇编语言......
本文的工作基于Intel的开放式运行平台(OpenRuntimePlatform，简称ORP)。提出了对类型化低级语言语言(TypedLow-levelLanguage，简......
本文综合叙述了已有的基于程序语言设计的软件安全研究。按照对安全性质推理方法的不同，将这类研究分成基于Hoare逻辑和基于类......
Microsoft.NET是一个完善的平台,它提供了一套公共的运行库,并制定了一套公共语言规范,所有符合该规范的语言都可以无缝使用这套运......
通过示例展示了典型的SQL注入攻击,并对此类攻击的原理和攻击过程进行分析,然后结合实际经验总结出若干条防御策略,对ASP.NET网站......
Java语言是基于类型安全的类型语言,它通过Java语法和Java语义来规定Java类型,并保证Java程序的安全性.从JDK1.0到JDK1.1再到从JDK......
基于类型注解的认证编译器是安全策略系统的核心部件,它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intel x86/linux汇......
提出了一种基于泛型DAO与模板设计模式相结合的数据持久化层模型，解决了传统DAO模式中普遍存在的强制类型转换和重复性开发的问题，应......
给出了一种带类型注解的汇编器TAAS的设计与实现.TAAS分析带有类型注解的汇编代码,把类型注解映射进目标文件和可执行文件中,产生......
SQL注入数据库攻击是常见的针对网站数据库的攻击形式,危害非常广.在深入研究SQL注入攻击原理的基础上,探索总结了SQL注入攻击的各......
根据类型系统思想,为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统.机器语言代码虽然是一种无类型的二进......
本文提出了一种描述Java虚拟机语义的形式化模型,该模型包含Java虚拟机安全体系结构中两个最重要的特性:字节码验证和动态类加载。......
Java智能卡在金融、移动通讯、身份认证等方面获得了极其广泛的应用。因为其应用的广泛性和应用数据的重要性、敏感性,所以关于智......
