Paragon
From MaRDI portal
Software:25221
No author found.
Related Items (9)
Model Checking Information Flow in Reactive Systems ⋮ 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 ⋮ Content dependent information flow control ⋮ Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis ⋮ JRIF: reactive information flow control for Java ⋮ Paralocks ⋮ Unnamed Item
This page was built for software: Paragon
