Reasoning about the safety of information : from logical formalization