×

zbMATH — the first resource for mathematics

Addressing covert termination and timing channels in concurrent information flow systems. (English) Zbl 1291.68057
Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 201-214 (2012).

MSC:
68M14 Distributed systems
68M11 Internet topics
68N18 Functional programming and lambda calculus
Software:
Aglet
PDF BibTeX XML Cite
Full Text: DOI