Joe-E - Revision history

Markm: /* Papers */

2010-02-02T20:42:07Z

Papers

New page

Joe-E is a subset of the [[wikipedia:Java_%28programming_language%29|Java programming langauge]] 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' existing knowledge of Java to be applied and existing compilers, debuggers, and other tools to be used with Joe-E programs.

== Papers ==

* [http://www.cs.berkeley.edu/~amettler/purecomp.pdf Verifiable functional purity in Java] - by Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner
* [http://www.cs.berkeley.edu/~daw/papers/joe-e-ndss10.pdf Joe-E: A Security-Oriented Subset of Java] - by Adrian Mettler, David Wagner, and Tyler Close

== Links ==

* [http://joe-e.googlecode.com/ Joe-E Home Page]
* [http://code.google.com/p/joe-e/wiki/GettingStarted Getting Started with Joe-E]
* [http://eclipse.joe-e.org/ Eclipse plug-in]
* [http://www.cs.berkeley.edu/~daw/joe-e/ Original Joe-E Home Page]

Ansible: added paper "Verifiable functional purity in Java"

2008-06-04T15:23:50Z

added paper "Verifiable functional purity in Java"

←Older revision		Revision as of 15:23, 4 June 2008
Line 2:		Line 2:

	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 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.
		+
		+	== Papers ==
		+
		+	* [http://www.cs.berkeley.edu/~amettler/purecomp.pdf Verifiable functional purity in Java] - by Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner

	== Links ==		== Links ==

Ansible at 16:12, 21 February 2008

2008-02-21T16:12:11Z

←Older revision		Revision as of 16:12, 21 February 2008
Line 1:		Line 1:
-	Joe-E is a subset of the Java programming ~~language~~ designed to support programming according to object-capability discipline.	+	Joe-E is a subset of the [[wikipedia:Java_%28programming_language%29\|Java programming langauge]] 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' existing knowledge of Java to be applied and existing compilers, debuggers, and other tools to be used with Joe-E programs.		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.
Line 6:		Line 6:

	* [http://joe-e.googlecode.com/ Joe-E Home Page]		* [http://joe-e.googlecode.com/ Joe-E Home Page]
		+	* [http://code.google.com/p/joe-e/wiki/GettingStarted Getting Started with Joe-E]
		+	* [http://eclipse.joe-e.org/ Eclipse plug-in]
	* [http://www.cs.berkeley.edu/~daw/joe-e/ Original Joe-E Home Page]		* [http://www.cs.berkeley.edu/~daw/joe-e/ Original Joe-E Home Page]

Ansible at 16:05, 21 February 2008

2008-02-21T16:05:47Z

←Older revision		Revision as of 16:05, 21 February 2008
Line 1:		Line 1:
-	Joe-E is a subset of the ~~[[wikipedia:Java_%28programming_language%29\|~~Java programming ~~langauge]]~~ designed to support programming according to object-capability discipline.	+	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' existing knowledge of Java to be applied and existing compilers, debuggers, and other tools to be used with Joe-E programs.		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.
-
-	~~== Papers ==~~
-
-	* [http://www.cs.berkeley.edu/~amettler/purecomp.pdf Verifiable functional purity in Java] - by Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner
-	* [http://www.cs.berkeley.edu/~daw/papers/joe-e-ndss10.pdf Joe-E: A Security-Oriented Subset of Java] - by Adrian Mettler, David Wagner, and Tyler Close

	== Links ==		== Links ==

	* [http://joe-e.googlecode.com/ Joe-E Home Page]		* [http://joe-e.googlecode.com/ Joe-E Home Page]
-	* [http://code.google.com/p/joe-e/wiki/GettingStarted Getting Started with Joe-E]
-	* [http://eclipse.joe-e.org/ Eclipse plug-in]
	* [http://www.cs.berkeley.edu/~daw/joe-e/ Original Joe-E Home Page]		* [http://www.cs.berkeley.edu/~daw/joe-e/ Original Joe-E Home Page]