Scientists from the Australia’s ICT Research Centre of Excellence’s spinout company — Open Kernel Labs claims to have developed the world’s first hack-free software which can protect systems from failure or malicious attacks.
They developed a kernel, seL4 microkernel cum OS that regulates access to a computer’s hardware.
The scientist also claims that its a unique feature, mathematically proven to operate correctly, enabling it to separate trusted from untrusted software, protecting critical services from a failure or a malicious attack.
“Our seL4 microkernel is the only OS kernel in existence whose source code has been mathematically proven to implement its specification correctly. Under the assumptions of the proof it will always do precisely what its specification says it will do,” lead scientist Mr Gerwin Klein said.
- PTI Inputs
Via: [DC]
They developed a kernel, seL4 microkernel cum OS that regulates access to a computer’s hardware.
The scientist also claims that its a unique feature, mathematically proven to operate correctly, enabling it to separate trusted from untrusted software, protecting critical services from a failure or a malicious attack.
“Our seL4 microkernel is the only OS kernel in existence whose source code has been mathematically proven to implement its specification correctly. Under the assumptions of the proof it will always do precisely what its specification says it will do,” lead scientist Mr Gerwin Klein said.
- PTI Inputs
Via: [DC]
No comments:
Post a Comment