Jalapa: Securing Java with Local Policies | Zendy

Massimo Bartoletti | Zendy; Gabriele Costa | Zendy; Roberto Zunino | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Jalapa: Securing Java with Local Policies

Author(s) -

Massimo Bartoletti,

Gabriele Costa,

Roberto Zunino

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.11.020

Subject(s) - bytecode , computer science , programming language , java , java bytecode , sandbox (software development) , automaton , code (set theory) , theoretical computer science , java applet , operating system , java annotation , set (abstract data type)

We present Jalapa, a tool for securing Java bytecode programs with history-based usage policies. Policies are defined by usage automata, that recognize the forbidden execution histories. Usage automata are expressive enough to allow programmers specify of many real-world usage policies; yet, they are simple enough to permit formal reasoning. Programmers can sandbox untrusted pieces of code with usage policies. The Jalapa tool rewrites the Java bytecode by adding the hooks for the mechanism that enforces the given policies at run-time

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research