D Ray,
J Ligatti - Computer Security--ESORICS 2015: 20th European …, 2015 - Springer
This paper generalizes traditional models of security policies, from specifications of whether
programs are secure, to specifications of how secure programs are. This is a generalization …