资 源 简 介
Joe-E is a subset of the Java programming language designed to support secure programming according to object-capability discipline. Joe-E is intended to facilitate construction of secure systems, as well as to facilitate security reviews of systems built in Joe-E.
The language guarantees additional security properties by placing restrictions on Java code, but does not modify programs or change their meaning. This allows programmers" existing knowledge of Java to be applied and existing compilers, debuggers, and other tools to be used with Joe-E programs.
The Joe-E Verifier is implemented as an Eclipse plug-in.
It may be installed via Eclipse Update. The repository location is http://eclipse.joe-e.org.
You will also need the library and taming database, which can be downloaded here (see the links to the right).
More detailed info on getting started is available in the wiki.
A 请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报
