Executable Logic Specifications: A New Approach to Computer Security.