EAL4 Firewall

[howler]

We need to get an EAL4 firewall, the only list of firewalls that I have been able to find is pretty short and seems to be out of date.

For example it lists a Cisco PIX but not the Cisco ASA and the likes of Fortinet are not on there

Does anyone know much about this certification and what firewalls are available with it?

Thanks