Paragon
From MaRDI portal
swMATH13306MaRDI QIDQ25221FDOQ25221
Author name not available (Why is that?)
Official website: http://www.cse.chalmers.se/research/group/paragon/
Cited In (20)
- 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
- Flow Caml
- Aglet
- 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
