乔-伊 swMATH ID: 35849 软件作者： Adrian Mettler、David Wagner、Tyler Close 描述： Joe-E：面向安全的Java子集。我们介绍Joe-E，一种旨在支持安全软件系统开发的语言。Joe-E是Java的一个子集，它使构建和实现具有强大安全属性的程序变得更加容易，这些属性可以在安全审查期间进行检查。它使程序员能够将最小特权原则应用于他们的程序；实施无法绕过的特定于应用程序的参考监控器；引入并使用特定于域的安全抽象；安全地执行不受信任的代码并与之交互；并构建安全、可扩展的系统。Joe-E演示了如何在保留主流面向对象语言的特性和感觉的同时，实现对象可访问语言的强大安全属性。此外，与以前依赖于运行时检查的对象可访问性语言相比，我们还介绍了Java的静态类型安全补充对象可访问分析的方法，并允许静态验证其他安全属性。在本文中，我们描述了Joe-E的设计和实现，以及它相对于标准Java在安全性和可审计性方面的优势。我们演示了如何使用Joe-E开发具有新的安全属性的系统，而这些安全属性在其他方面很难或不可能得到保证，其中包括一个web应用程序平台，该平台提供透明的事务性对象持久性，并可以在单个JVM中安全地托管多个相互独立的应用程序。 主页： https://www.ndss-symposium.org/wp-content/uploads/2017/09/met.pdf 依赖项： Java语言 相关软件： 退休.js;冲突JS;Synode（合成码）;节点.js;净现值法;BreakApp（中断应用程序）;Codecail监狱;ESLint公司;恰亚;枢轴;Pyronia公司;EnclaveDom公司;沙皮;普里夫曼;闭包库;节点入口;德诺;私人运输公司;萨卢斯;J和 引用于： 0出版物