The epistemology of computer security
Towards Operational Measures of Computer Security