Cited in
(21)- Value sensitivity and observable abstract values for information flow control
- JRIF: reactive information flow control for Java
- Model Checking Information Flow in Reactive Systems
- Hoare logic for disjunctive information flow
- Paralocks, role-based information flow control and beyond
- Using dynamic pushdown networks to automate a modular information-flow analysis
- PLIF
- Flow Caml
- Aglet
- Information flow analysis for mobile code in dynamic security environments
- Jif
- dsdtool
- Laminar
- JOANA
- JSLINQ
- SeLINQ
- JRIF
- JSFlow
- FlowFox
- Information flow control in software DB units based on formal verification
- Content dependent information flow control
This page was built for software: Paragon
