Paragon
From MaRDI portal
Software:25221
swMATH13306MaRDI QIDQ25221FDOQ25221
Author name not available (Why is that?)
Cited In (9)
- JRIF: reactive information flow control for Java
- Model Checking Information Flow in Reactive Systems
- Title not available (Why is that?)
- Value Sensitivity and Observable Abstract Values for Information Flow Control
- Hoare Logic for Disjunctive Information Flow
- Information flow control in software DB units based on formal verification
- Paralocks
- Content dependent information flow control
- Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis
This page was built for software: Paragon
