Addressing covert termination and timing channels in concurrent information flow systems
From MaRDI portal
Publication:5168895
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
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
This page was built for publication: Addressing covert termination and timing channels in concurrent information flow systems