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
978-145032862-3 (ISBN)
Ämneskategorier
Programvaruteknik
DOI
10.1145/2637113.2637122
ISBN
978-145032862-3