![](/img/cover-not-exists.png)
[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Addressing covert termination and timing channels in concurrent information flow systems
Stefan, Deian, Russo, Alejandro, Buiras, Pablo, Levy, Amit, Mitchell, John C., Maziéres, DavidYear:
2012
Language:
english
DOI:
10.1145/2364527.2364557
File:
PDF, 690 KB
english, 2012