Paragon
From MaRDI portal
Software:25221
swMATH13306MaRDI QIDQ25221FDOQ25221
Author name not available (Why is that?)
Cited In (9)
- 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
- Information flow analysis for mobile code in dynamic security environments
- Information flow control in software DB units based on formal verification
- Content dependent information flow control
This page was built for software: Paragon
