NetIQ Sentinel 7.x
Location of Sentinel 7.x CC EAL3+ Certification information.
Navigate to http://www.commoncriteriaportal.org/products/ and expand the product list under 'Detection Devices and Systems'. The CC EAL3+ versions of Sentinel 7.x will be listed.
CC EAL3+ includes Fault Level Remediation (ALC_FLR). This allows any bug fixes to also be part of the certification. For example, In version 7.2.1. The 7.2 represents the features and the .1 represents a collection of fixes for bugs that were found in the program. Meaning, Sentinel 7.2.2 would also be covered.