Arrows for secure information flow

DOI10.1016/j.tcs.2010.01.025zbMath1200.68063OpenAlexW2060493407MaRDI QIDQ964489

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

securityHaskelltype systemscombinatorsinformation flowarrows

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (3)

Flexible dynamic information flow control in the presence of exceptions ⋮ Notions of computation as monoids ⋮ Categorical semantics for arrows

Uses Software

• Haskell
• Jif
• JFlow

Cites Work

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

This page was built for publication: Arrows for secure information flow