Reasoning About the Safety of Information: From Logical Formalization to Operational Definition.

Laurence Cholvy, Robert Demolombe, Andrew J. I. Jones

Browse the full ISMIS paper archive.