Abstract
A reactive information flow (RIF) automaton for a value v specifies (i) restrictions on uses for v and (ii) the RIF automaton for any value that might be derived from v. RIF automata thus specify how transforming a value alters restrictions for the result. As labels, RIF automata are both expressive and intuitive vehicles for describing allowed information flows. JRIF is a dialect of Java that uses RIF automata for specifying information flow control policies. The implementation of JRIF involved replacing the information flow type system of the Jif language by a RIF-based type system. JRIF demonstrates (i) the practicality and utility of RIF automata, and (ii) the ease with which an existing information flow control system can be modified to support the expressive power of RIF automata.
Author supplied keywords
Cite
CITATION STYLE
Kozyri, E., Arden, O., Myers, A. C., & Schneider, F. B. (2019). JRIF: Reactive Information Flow Control for Java. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11565 LNCS, pp. 70–88). Springer Verlag. https://doi.org/10.1007/978-3-030-19052-1_7
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
