sel4

State of the art in Secure Operating Systems

May 11th, 2010 at 02:44pm Under General

The website DefenseTech had an article summarising the latest attempts to build a Secure (and by implication Trusted) Operating System. China, Australia, the European Union and the USA’s best are described in outline; to me the one of most interest is selL4, Secure L4, as it is a real product and is closely related to [...]

Continue Reading State of the art in Secure Operating Systems

Tags: ,

By Ken Y-N 1 comment

Open Kernel Labs’ kernel proved correct

February 4th, 2010 at 02:46pm Under Virtualisation

L4 and its variants is a popular microkernel that can be found in many places, including even right at the bottom of Google’s Android system. So, I was interested to read about a formal proof for seL4, after five years of work by Open Kernel Labs and NICTA, Australia’s Information and Communications Technology Research Centre [...]

Continue Reading Open Kernel Labs’ kernel proved correct

Tags: ,

By Ken Y-N 1 comment

Recent Articles
Adverts

Tags
Blogroll
Categories