Team for Research in
Ubiquitous Secure Technology

The Joe-E Language Specification (draft)
Adrian Mettler, David Wagner

Citation
Adrian Mettler, David Wagner. "The Joe-E Language Specification (draft)". Technical report, U.C. Berkeley, UCB/EECS-2006-26, May, 2006; See the Joe-E website at www.joe-e.org for work-in-progress versions of this specification.

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.

Electronic downloads

Citation formats  
  • HTML
    Adrian Mettler, David Wagner. <a
    href="http://www.truststc.org/pubs/246.html"><i>The
    Joe-E Language Specification (draft)</i></a>,
    Technical report,  U.C. Berkeley, UCB/EECS-2006-26, May,
    2006; See the Joe-E website at <a
    href="http://www.joe-e.org"
    >www.joe-e.org</a> for work-in-progress versions of
    this specification.
  • Plain text
    Adrian Mettler, David Wagner. "The Joe-E Language
    Specification (draft)". Technical report,  U.C.
    Berkeley, UCB/EECS-2006-26, May, 2006; See the Joe-E website
    at <a href="http://www.joe-e.org"
    >www.joe-e.org</a> for work-in-progress versions of
    this specification.
  • BibTeX
    @techreport{MettlerWagner06_JoeELanguageSpecificationdraft,
        author = {Adrian Mettler and David Wagner},
        title = {The Joe-E Language Specification (draft)},
        institution = {U.C. Berkeley},
        number = {UCB/EECS-2006-26},
        month = {May},
        year = {2006},
        note = {See the Joe-E website at <a
                  href="http://www.joe-e.org" >www.joe-e.org</a> for
                  work-in-progress versions of this specification.},
        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.},
        URL = {http://www.truststc.org/pubs/246.html}
    }
    

Posted by Adrian Mettler on 28 Mar 2007.
For additional information, see the Publications FAQ or contact webmaster at www truststc org.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.