Musard Balliu, Mads Dam, Gurvan Le Guernic. Epistemic temporal logic for information flow security. In Aslan Askarov, Joshua D. Guttman, editors, Proceedings of the 2011 Workshop on Programming Languages and Analysis for Security, PLAS 2011, San Jose, CA, USA, 5 June, 2011. pages 6, ACM, 2011. [doi]
Abstract is missing.