类型安全相关论文
该文综合叙述了已经存在的使用基于语言的技术解决移动代码的安全问题的众多研究,详细描述了携带证明的代码(PCC)和类型化汇编语言......
本文的工作基于Intel的开放式运行平台(OpenRuntimePlatform，简称ORP)。提出了对类型化低级语言语言(TypedLow-levelLanguage，简......
本文综合叙述了已有的基于程序语言设计的软件安全研究。按照对安全性质推理方法的不同，将这类研究分成基于Hoare逻辑和基于类......
本文阐述了Java中泛型的概念和特点,介绍了简单泛型创建和使用,探讨了泛型应用中存在的陷井.泛型最重要的特点是类型安全,泛型还可......
基于风险的安全管理在欧美等国家的铁路行业日趋完善，之所以得到充分发展，是因为该类型安全管理方式，能够适应铁路行业的发展变化，符合......
<正> 1.引言在O-O程序设计中,保证类型安全的反变计算不符合人们的思维习惯,而表达自然的协变计算又会引发类型的不安全,因而,由协......
通过示例展示了典型的SQL注入攻击,并对此类攻击的原理和攻击过程进行分析,然后结合实际经验总结出若干条防御策略,对ASP.NET网站......
本文讨论了C＋＋中泛型编程（generic programming）与面向对象设计（object-oriented design）原则的冲突问题，并用实例——any-iterator，一个类......
基于类型注解的认证编译器是安全策略系统的核心部件,它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intel x86/linux汇......
提出了一种基于泛型DAO与模板设计模式相结合的数据持久化层模型，解决了传统DAO模式中普遍存在的强制类型转换和重复性开发的问题，应......
随着国家和社会对软件的依赖程度日益增长，软件的安全性越来越受到关注，软件的安全性主要包括saflety和security两个方面。Safety是......
给出了一种带类型注解的汇编器TAAS的设计与实现.TAAS分析带有类型注解的汇编代码,把类型注解映射进目标文件和可执行文件中,产生......
根据类型系统思想,为Intel/x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统.机器语言代码虽然是一种无类型的二进......
本文提出了一种描述Java虚拟机语义的形式化模型,该模型包含Java虚拟机安全体系结构中两个最重要的特性:字节码验证和动态类加载。......
Java智能卡在金融、移动通讯、身份认证等方面获得了极其广泛的应用。因为其应用的广泛性和应用数据的重要性、敏感性,所以关于智......
