...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Science of Computer Programming >A portable virtual machine target for proof-carrying code
【24h】

A portable virtual machine target for proof-carrying code

机译：用于携带代码的便携式虚拟机目标

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Virtual machines and proof-carrying code provide two techniques that have been used independently to provide safety for mobile code. Both these techniques have strengths and limitations. Existing virtual machines, such as the Java VM, have several drawbacks. First, the effort required for safety verification is considerable. Second, and more subtly, the need to provide such verification by the code consumer inhibits the amount of optimization that can be performed by the code producer. This in turn makes just-in-time compilation surprisingly expensive. Proof-carrying code, on the other hand, has its own set of limitations, among which are the size of proofs and the fact that the certified code is no longer machine independent. By combining the two techniques, we are able to overcome these limitations. Our hybrid safe-code solution uses a virtual machine that has been designed specifically to support proof-carrying code, while simultaneously providing efficient just-in-time compilation and target-machine independence. In particular, our approach reduces the complexity of the required proofs, resulting in fewer proof obligations that need to be discharged at the target machine.
机译：虚拟机和带有证明的代码提供了两种已独立使用的技术，以确保移动代码的安全性。这两种技术都有其优势和局限性。现有的虚拟机，例如Java VM，有几个缺点。首先，安全验证所需的工作量很大。其次，更巧妙地，由代码使用者提供这种验证的需求抑制了代码生产者可以执行的优化量。反过来，这使得即时编译变得异常昂贵。另一方面，带有证明的代码也有其自身的局限性，其中包括证明的大小以及认证代码不再与机器无关的事实。通过结合这两种技术，我们能够克服这些限制。我们的混合安全代码解决方案使用专门设计用于支持带有证明的代码的虚拟机，同时提供高效的及时编译和目标计算机的独立性。特别是，我们的方法降低了所需证明的复杂性，从而减少了需要在目标机器上履行的证明义务。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号