further simplification of Security Objectives