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