Joe-E

Joe-E is a subset of the Java programming language intended to support programming according to object-capability discipline. The language is notable… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2006-2012
01220062012

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The object-capability model is one of the industry standards adopted for the implementation of security policies for web-based… (More)
  • figure 1
  • figure 2
Is this relevant?
Review
2012
Review
2012
Language and Framework Support for Reviewably-Secure Software Systems 
  • figure 2.9
  • figure 2.10
  • figure 3.1
  • table 3.1
  • table 3.2
Is this relevant?
2011
2011
This paper presents a capability-based mechanism for permissive yet secure enforcement of information-flow policies. Language… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Review
2010
Review
2010
We present Joe-E, a language designed to support the development of secure software systems. Joe-E is a subset of Java that makes… (More)
  • figure 6
  • figure 7
  • figure 10
  • figure 9
Is this relevant?
Review
2010
Review
2010
Joe-E is a subset of the Java language, with additional restrictions enforced by a static source-code verifier. We explore… (More)
Is this relevant?
2008
2008
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid… (More)
  • figure 1
  • table 1
  • table 2
Is this relevant?
2006
2006
Existing systems often do a poor job of meeting the principle of least privilege. I will discuss how object capability systems… (More)
Is this relevant?