The Joe-E Language Specification (draft)
Adrian Matthew Mettler and David Wagner
EECS Department, University of California, Berkeley
Technical Report No. UCB/EECS-2006-26
March 17, 2006
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-26.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 a partial draft.
BibTeX citation:
@techreport{Mettler:EECS-2006-26, Author= {Mettler, Adrian Matthew and Wagner, David}, Title= {The Joe-E Language Specification (draft)}, Year= {2006}, Month= {Mar}, Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-26.html}, Number= {UCB/EECS-2006-26}, 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 a partial draft.}, }
EndNote citation:
%0 Report %A Mettler, Adrian Matthew %A Wagner, David %T The Joe-E Language Specification (draft) %I EECS Department, University of California, Berkeley %D 2006 %8 March 17 %@ UCB/EECS-2006-26 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-26.html %F Mettler:EECS-2006-26