JRIF: Reactive Information Flow Control for Java.
Elisavet KozyriOwen ArdenAndrew C. MyersFred B. SchneiderPublished in: Foundations of Security, Protocols, and Equational Reasoning (2019)
Keyphrases
- information flow control
- information flow
- programming language
- source code
- object oriented
- java programs
- lightweight
- development environment
- open source
- web applications
- database applications
- real time
- web services
- multi threaded
- reactive systems
- case study
- agent architecture
- decision making
- neural network
- object oriented languages
- reactive planning
- data sets