The Joe-E Language Specification, Version 1.0

Adrian Mettler and David Wagner

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2008-91
August 7, 2008

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-91.pdf

We describe the Joe-E language, a capability-based subset of Java intended to make it easier to build secure systems. The goal of object capability languages is to support the Principle of Least Authority (POLA), so that each object naturally receives the least privilege (i.e., least authority) needed to do its job. Thus, we hope that Joe-E will support secure programming while remaining familiar to Java programmers everywhere.

This is version 1.0 of the specification.


BibTeX citation:

@techreport{Mettler:EECS-2008-91,
    Author = {Mettler, Adrian and Wagner, David},
    Title = {The Joe-E Language Specification, Version 1.0},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2008},
    Month = {Aug},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-91.html},
    Number = {UCB/EECS-2008-91},
    Abstract = {We describe the Joe-E language, a capability-based subset of Java intended to make it easier to build secure systems. The goal of object capability languages is to support the Principle of Least Authority (POLA), so that each object naturally receives the least privilege (i.e., least authority) needed to do its job. Thus, we hope that Joe-E will support secure programming while remaining familiar to Java programmers everywhere.

This is version 1.0 of the specification.}
}

EndNote citation:

%0 Report
%A Mettler, Adrian
%A Wagner, David
%T The Joe-E Language Specification, Version 1.0
%I EECS Department, University of California, Berkeley
%D 2008
%8 August 7
%@ UCB/EECS-2008-91
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-91.html
%F Mettler:EECS-2008-91