帮忙翻译这篇文章Java Type Confusion and Fault Attacks

来源：百度知道 编辑：UC知道 时间：2024/09/13 04:19:52
Virtual machines executing high level languages are nowadays found even in small secure embedded systems. We have studied properties of the Java virtual machine and the Java virtual machine language under certain fault attacks. Focused glitching attacks may enforce type confusion situations. Defensive Java virtual machine is prosed as a counter-measure.
Recently, high level language virtual machines (HLL VMs) have established themselves in small embedded devices, e.g. mobile phones, smart cards and even sensor networks. Advantage of the HLL VMs is high density of the translated code, which makes transferring code over communication lines economical. The use of high level languages also aims at easier programmability and shorter application management cycles than in traditional embedded application development. On the other hand, virtual machines always introduce performance degradation compared to native code execution.
Some embedded devices, especially smart cards, are de

虚拟机执行高级语言现今被发现在小巩固嵌入系统。我们学习了Java 虚拟机的物产和Java 虚拟机语言受到某些缺点攻击。被聚焦的glitching 的攻击也许强制执行型混乱情况。虚拟机是的防御Java prosed 作为对抗措施。
最近, 高级语言虚拟机(HLL VMs) 委任自己在小嵌入设备, 即流动电话、智能卡和甚而传感器网络里。HLL VMs 的好处是翻译的代码的高密, 使转移的代码在通信线路经济。对高级语言的用途并且瞄准更加容易的可编程序性和更短的应用管理周期比在传统嵌入应用开发。另一方面, 虚拟机总介绍性能退化与当地代码施行比较。
一些嵌入设备, 特别是智能卡, 被设计存放和处理数据以安全方式。它可能甚而被要求, 智能卡的存在由他们的能力单一地辩解对..keep 秘密... 这暗示, HLL VM 在设备必须并且是安全。产品整体上, 硬件和软件, 必须被设计是窜改有抵抗性。Java 是共同语言在HLL VM 系统。它一般被考虑作为一种安全语言因为它强烈被键入, 强制执行边界校验为列阵, 不使用尖或尖算术,可变物初始化在他们被使用之前, 并且语言包含通入修饰词为类、方法和领域。自然地, 编写Java 代码, 字节代码(并且告诉Java 虚拟机语言, JVML), 必须保存这些物产。因而, 字节代码被检查正确性在它被执行之前。这检查由字节代码检验器做。
但是, 证明介绍检查, 用途(TOCTOU) 情况的时期的时期, 因为代码被检查得很好在它被使用之前。事实证明过程是非常记忆密集也许导致弱点。在小型系统, 它不一定是可能跑检验器在设备但证明必须是完成设备。如此, 有一个重大盖帽, 在空间和时间, 在检查和使用代码之间。
Java 克服许多传统安全问题。Java 节目无法直接地访问硬件或演讲任意记忆。节目运行在一真正硬件C Java 虚拟机。节目并且运行在一个拘束的环境里叫做沙盒。型安全是Java 语言安全的一个基石并且检验器是关键防御者在前线。如果这防御打破(即代码不被核实或代码可能被改变在证明以后) 安全可能然后打破。并且, 缺点在语言实施可能开放机会为攻击者。