تحقق من أمان يحدث عندما يتم استدعاء أسلوب أمان في التعليمات البرمجية لأنه محمي. هذا النوع من الاختيار يمكن أن تعتمد على البيانات، ويمكن أن تكون معزولة إلى موقع واحد داخل كائن أو أسلوب. على سبيل المثال، إذا كان اسم ملف تكون محمية معروف فقط في وقت التشغيل، ثم إجراء فحص الأمان الإلزامي يمكن التذرع بتمرير اسم ملف كمعلمة لأسلوب أمان.