Addressing covert termination and timing channels in concurrent information flow systems

DOI10.1145/2364527.2364557zbMath1291.68057OpenAlexW2099878912MaRDI QIDQ5168895

Deian Stefan, John C. Mitchell, David Folkman Mazières, Alejandro Russo, Amit Levy, Pablo Buiras

Publication date: 21 July 2014

Published in: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.9896

zbMATH Keywords

monadlibrarycovert channels

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Distributed systems (68M14) Internet topics (68M11)

Related Items (2)

Flexible dynamic information flow control in the presence of exceptions ⋮ Specification and static enforcement of scheduler-independent noninterference in a middleweight Java

Uses Software

• Aglet

This page was built for publication: Addressing covert termination and timing channels in concurrent information flow systems