License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.2.1.4
URN: urn:nbn:de:0030-drops-61253
URL: http://drops.dagstuhl.de/opus/volltexte/2016/6125/
Go back to Dagstuhl Artifacts Series


Fennell, Luminous ; Thiemann, Peter

LJGS: Gradual Security Types for Object-Oriented Languages (Artifact)

pdf-format:
DARTS-2-1-4.pdf (0.3 MB)
artifact-format:
DARTS-2-1-4-artifact-8a2c4fd720bafe998aa000ed65e29d81.zip (577 MB)


Abstract

JGS-check is the accompanying artifact to "LJGS: Gradual Security Types for Object-Oriented Languages". LJGS is a Java-like language with gradual security typing. It features a constraint based information flow type system that includes a type dynamic and type casts. Dynamically typed fragments are liberally accepted by the type checker and rely on run-time enforcement for security. JGS-check is a type checker for the subset of Java that corresponds to the calculus presented in the paper and that implements the constraint generation and satisfiability checks of LJGS' type system. It's purpose is to illustrate and substantiate the behavior of our gradual security type system. It takes a directory of Java source code as input and reports methods that violate the typing rules. JGS-check is merely a type checker and does not implement code generation. The submission archive includes the compiled type checker, the code of the example section (Section 2) as well additional examples and testcases that did not fit into the paper. The user should also be able to check custom code as long as it corresponds the subset of Java that is covered by LJGS.

BibTeX - Entry

@Article{fennell_et_al:DARTS:2016:6125,
  author =	{Luminous Fennell and Peter Thiemann},
  title =	{{LJGS: Gradual Security Types for Object-Oriented Languages (Artifact)}},
  pages =	{4:1--4:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2016},
  volume =	{2},
  number =	{1},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6125},
  URN =		{urn:nbn:de:0030-drops-61253},
  doi =		{10.4230/DARTS.2.1.4},
  annote =	{Keywords: gradual typing, security typing, Java, hybrid information flow control}
}

Keywords: gradual typing, security typing, Java, hybrid information flow control
Seminar: DARTS, Volume 2, Issue 1
Related Scholarly Article: http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.9
Issue Date: 2016
Date of publication: 14.07.2016


DROPS-Home | Fulltext Search | Imprint Published by LZI