Arrows for secure information flow
From MaRDI portal
Publication:964489
DOI10.1016/J.TCS.2010.01.025zbMATH Open1200.68063OpenAlexW2060493407MaRDI QIDQ964489FDOQ964489
Authors: Peng Li, Steve Zdancewic
Publication date: 22 April 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2010.01.025
Recommendations
Cites Work
Cited In (6)
- Paralocks, role-based information flow control and beyond
- HLIO: mixing static and dynamic typing for information-flow control in Haskell
- Flexible manipulation of labeled values for information-flow control libraries
- Notions of computation as monoids
- Flexible dynamic information flow control in the presence of exceptions
- Categorical semantics for arrows
Uses Software
This page was built for publication: Arrows for secure information flow
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q964489)