Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation

Piotr Mardziel, Stephen Magill, Michael Hicks, Mudhakar Srivatsa. Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation. Journal of Computer Security, 21(4):463-532, 2013. [doi]

No reviews for this publication, yet.