Paragon: Programming with information flow control (demo)
Paper i proceeding, 2014

We demonstrate Paragon, a Java-based programming language with integrated information-flow control. We show how the use of information-flow policies combined with encapsulation allows for simple yet powerful and flexible policy libraries tailored to the needs of a particular application or system.

static enforcement

information flow

Författare

Niklas Broberg

Chalmers, Data- och informationsteknik, Programvaruteknik

Bart van Delft

Chalmers, Data- och informationsteknik, Programvaruteknik

David Sands

Chalmers, Data- och informationsteknik, Programvaruteknik

9th Workshop on Programming Languages and Analysis for Security, PLAS 2014; Uppsala; Sweden; 28 July 2014 through 1 August 2014

79-80

Ämneskategorier

Programvaruteknik

DOI

10.1145/2637113.2637122

ISBN

978-145032862-3

Mer information

Skapat

2017-10-08