New paper: Class Properties for Security Review in an Object-Capability Subset of Java (Short Paper)

Mark Miller <[email protected]> Sun, 20 Jun 2010 08:16:00 -0700

Newsgroups	gmane.comp.lang.e.general
Message-ID	<[email protected]>

New paper: http://www.cs.berkeley.edu/~amettler/joeetypes-plas10.pdf

Class Properties for Security Review in an Object-Capability Subset of Java
(Short Paper)

By Adrian Mettler & David Wagner

just presented at PLAS 2010. Congrats Adrian & David, looks like a really
good paper!

Joe-E is a subset of the Java language, with additional restrictions
enforced by a static source-code veriﬁer. We explore several se-
mantic properties of classes relating to immutability and object
identity that can be declared by the programmer and are checked
by the Joe-E veriﬁer. We present the simple, modular analyses we
use to verify these properties and describe how they are useful in
performing security reviews of applications.


-- 

   Cheers,
   --MarkM

_______________________________________________
e-lang mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/e-lang