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