Dynamic enforcement of knowledge-based security policiesPiotr MardzielStephen Magillet al.2010CSF 2010
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretationPiotr MardzielMichael Hickset al.2013Journal of Computer Security