Archive for the 'Commercial Products' Category

Wind River Linux Secure EAL4+ certified OS launched

by James Morris |  Tuesday, May 3rd, 2011

Wind River has announced the launch of an EAL4+ certified embedded Linux OS, Wind River Linux Secure. The certification platform is ARM, “including hardware from Texas Instruments, Intel and Power architectures”. SELinux is utilized for mandatory access control. This is the first commercial embedded Linux OS to receive this level of certification.

RHEL 5.3 CAPP Certified at EAL4+ on Dell, with Virtualization

by James Morris |  Thursday, February 4th, 2010

Atsec have announced the certification of RHEL 5.3 on Dell 11G server hardware to EAL4 (augmented). This is the first such certification to support RHEL running as a Xen guest, although the scope of the certification is limited to CAPP (Controlled Access Protection Profile).

Oracle Enteprise Linux 5.1 Certified at EAL4+

by James Morris |  Monday, November 17th, 2008

According to a press release from atsec, Oracle Enterprise Linux (OEL) 5.1 has been certified under common criteria to EAL4+ via LSPP, CAPP and RBACPP profiles. This is similar to previous certifications for Red Hat Enterprise Linux (upon which OEL is based), although it appears that this certification additionally covers the running of an unprivileged virtualized instance of the OS.

OpenSUSE 11.1 to Enable SELinux

by James Morris |  Thursday, August 21st, 2008

The OpenSUSE project has announced that OpenSUSE version 11.1 will include basic SELinux enablement. This effort will include enabling SELinux in their kernel, requisite patches to system tools, and SELinux support libraries. SELinux-specific tools will not be shipped by default, but will be available via the distribution repositories. Initial security policies, if shipped, will be limited to standard reference and minimal policies. SELinux will also be shipped as part of SUSE Linux Enterprise 11 as a technology preview. Community discussion on the topic is directed to the OpenSUSE Factory mailing list.

SGI Completes EAL4+ Certification on RHEL 5.1

by James Morris |  Saturday, July 19th, 2008

SGI have now completed certification for LSPP, RBACPP and CAPP at EAL4 augmented under the Common Criteria schemes, for their SGI Altix and Altix XE platforms. This certification follows similar efforts by IBM and HP. A copy of the validation report is available here.

SGI CAPP/LSPP EAL4+ Certification Test Suite Released

by James Morris |  Tuesday, April 22nd, 2008

SGI have announced the release of their certification test suite and its incorporation with the Linux Test Project (LTP). The test suite is a component of their EAL4+ CAPP/LSPP certification effort for RHEL 5.1 on Altix hardware, and is based on previous IBM work.

HP Release Audit/MLS Certification Testsuite

by James Morris |  Friday, August 17th, 2007

HP announced the release of their Audit/MLS certification testsuite, which was used in conjunction with LTP as part of their RHEL5 CAPP/LSPP/RBACPP certification. The testsuite includes coverage of NetLabel/CIPSO, IPsec labeling, and CUPS printing.

IBM Release LSPP/EAL4 Testsuite

by James Morris |  Friday, August 17th, 2007

IBM have announced the public release of a certification testsuite for RHEL5 running with LSPP/EAL4. This is part of the Linux Test Project.

Tresys Release Razor for IBM Websphere and DB2

by James Morris |  Friday, August 10th, 2007

Tresys have announced the release of a new product, Razor, an SELinux management infrastructure for IBM’s Websphere and DB2 products. Razor was previously used in a UK government project; for details, refer to the case study.

Brickwall Available for Fedora 7

by James Morris |  Friday, August 10th, 2007

Tresys have announced the release of their Brickwall SELinux management suite for Fedora 7, with the Professional version available freely.