The Latest in IT Security

Highly Secure Operating System seL4 Released as Open Source

29
Jul
2014

Secure embedded L4 (seL4), said to be the world’s most highly-assured operating system, has been released as open source, Australia’s Information and Communications Technology Research Centre of Excellence (NICTA) and U.S. aerospace and defense company General Dynamics C4 Systems announced on Tuesday.

Comments are closed.

Categories

SUNDAY, SEPTEMBER 15, 2019
WHITE PAPERS

Mission-Critical Broadband – Why Governments Should Partner with Commercial Operators:
Many governments embrace mobile network operator (MNO) networks as ...

ARA at Scale: How to Choose a Solution That Grows With Your Needs:
Application release automation (ARA) tools enable best practices in...

The Multi-Model Database:
Part of the “new normal” where data and cloud applications are ...

Featured

Archives

Latest Comments

Social Networks