乔伊

Joe-E:面向安全的Java子集。我们介绍了Joe-E,一种旨在支持安全软件系统开发的语言。Joe-E是Java的一个子集,它使得构建和实现具有强大安全属性的程序变得更加容易,这些属性可以在安全检查期间检查。它使程序员能够对他们的程序应用最小特权原则;实现无法绕过的特定于应用程序的引用监视器;介绍和使用领域特定的安全抽象;安全地执行和与不可信代码交互;建立安全、可扩展的系统。Joe-E演示了如何在保留主流面向对象语言的特性和感觉的同时实现对象功能语言的强大安全属性。此外,与以前依赖运行时检查的对象功能语言相比,Java的静态类型安全补充了对象功能分析,并允许静态地验证附加的安全属性。在本文中,我们描述了Joe-E的设计和实现,以及它在安全性和可审计性方面优于标准Java。我们将演示如何使用Joe-E开发具有新的安全属性的系统,这些属性在其他情况下很难或不可能确保,包括提供透明、事务性对象持久性的web应用程序平台,并且可以在单个JVM中安全地托管多个互不信任的应用程序。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换