Arrows for secure information flow

DOI10.1016/J.TCS.2010.01.025MaRDI QIDQ964489zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

securitytype systemsinformation flowcombinatorsarrowsHaskell

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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

Cites work

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

Cited in

(6)

• Flexible dynamic information flow control in the presence of exceptions
• Categorical semantics for arrows
• Paralocks, role-based information flow control and beyond
• HLIO: mixing static and dynamic typing for information-flow control in Haskell
• Notions of computation as monoids
• Flexible manipulation of labeled values for information-flow control libraries

Describes a project that uses

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)