Arrows for secure information flow

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

• Programming Languages and Systems
• Secure information flow via linear continuations
• Secure information flow by self-composition
• HLIO: mixing static and dynamic typing for information-flow control in Haskell
• Secure Information Flow as a Safety Property

zbMATH Keywords

securitytype systemsinformation flowcombinatorsarrowsHaskell

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• Generalising monads to arrows
• Comprehending monads
• Information flow inference for ML
• A new notation for arrows
• Translating dependency into parametricity

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

• Haskell
• Jif
• JFlow

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)