Archive for the 'Distributions' Category
RHEL on HP Completes EAL4+ Certification
by James Morris | Monday, July 16th, 2007Following the recent IBM evaluation, RHEL 5 on Hewlett-Packard hardware has now also achieved certification for LSPP, RBACPP and CAPP at EAL4 augmented. Notable here is the way that these certification efforts were community-based, with the vendors working cooperatively on the same GPL codebase, sharing development efforts.
RHEL on IBM completes EAL4+ evaluation
by James Morris | Monday, June 18th, 2007Red Hat Enterprise Linux version 5 on specified IBM hardware has now completed NIAP evaluation at EAL4 Augmented with ALC_FLR.3, against the LSPP, RBACPP and CAPP protection profiles. This is the first time that SELinux has been evaluated in this manner, and the highest EAL rating awarded to a Linux operating system.
SELinux Mentoring for Summer of Code
by James Morris | Wednesday, March 21st, 2007Erich Schubert notes that SELinux mentoring will be available as part of Debian’s participation in the Google Summer of Code.
EnGarde Secure Linux 3.0.10 Released
by James Morris | Friday, November 10th, 2006EnGarde Secure Linux 3.0.10 has been released, notably with the inclusion of an SELinux management GUI, with features including monitoring of audit logs, policy boolean management, file relabeling and the ability to download and deploy policy.
Heise: Debian 4.0 to Support SELinux
by James Morris | Thursday, July 27th, 2006Heise reports that the upcoming 4.0 release of Debian will mark the start of support for SELinux. This is the result of a project by Manoj Srivastava to further the initial Debian SELinux work by Russell Coker, re-syncing with upstream and incorporating SELinux into the mainstream Debian project.
See also: SELinux page on the Debian Wiki.