Categories for Computer Security