NICTA Releases Security Software for Operating Systems

“National ICT Australia, in conjunction with Open Kernel Labs, has released new software aimed at researchers, developers and manufacturers that has the ability to protect computer hardware from failure or being attacked. The seL4 microkernel is a small operating system kernel which regulates access to a computer’s hardware and is able to distinguish between trusted and untrusted software.”


  1. 2011-01-28 6:51 am
    • 2011-01-28 9:31 am
    • 2011-01-28 10:26 am
      • 2011-01-28 2:37 pm