The Logical Approach to Security