| Projects on Google Code | Results 1 - 4 of 4 |
Joe-E is a subset of the Java programming language designed to support programming according to object-capability discipline.
The language guarantees additional security properties by placing restrictions on Java code, but does not modify programs or change their meaning. This allows programmers...
#sidebar HomePageSideBar
<img src="http://google-caja.googlecode.com/svn/trunk/doc/images/invaders.png" align="right" title="Invaders in a container are contained in what they can do">
Caja allows websites to <b>safely embed</b> DHTML web applications
from third parties, and enables <b>rich int...
Google,
Javascript,
Security,
Object-capabilities,
Caja,
ABAC,
POLA,
Sanitizing,
Mashups,
Prototype,
Caja2.0,
Shindig
Joe-E Doc is a version of Javadoc that integrates the taming information for Joe-E. See the [http://joe-e.googlecode.com Joe-E project] for more info.
This is hosted as a separate project because it is based on code from [http://openjdk.java.net/ OpenJDK] and is thus licensed under the GPL inste...
A subset of Haskell that uses a design rule verifier to enforce object-capability principles.