Diagnosis of Violations

If security violation logging is active, the SAF Security Kernel includes additional diagnostic information about the violation in its trace message. This information is described in the SAF Security Kernel documentation.