MELBOURNE: Scientists have developed what they claim is the world's first hack-free software which can protect systems from failure or malicious attacks .
The 'seL 4' microkernel has been developed by a team led by Australia's ICT Research Centre of Excellence's spinout company — Open Kernel Labs (OK Labs ). It is a small operating system kernel which regulates access to a computer's hardware .
Its unique feature is that it has been mathematically proven to operate correctly , enabling it to separate trusted from untrusted software , protecting critical services from a failure or a malicious attack , say the scientists .
In future applications , seL4 could ensure that trusted financial transaction software from securesourceslikebanks or stockexchangescan operate securely on a customer's mobile phone alongside "untrusted" software , such as games downloaded from the Internet , according to its developers .
It could also provide a secure and reliable environment for mission-critical defence data , operating on the same platform as everyday applications like email . Or , it could protect the life-supporting functions of an implanted medicaldevice ,such as a pacemaker , from hacking , they say .
"Our seL4 microkernel is the only operating system kernel in existence whose source code has been mathematically proven to implement its specification correctly . Under the assumptionsof the proof ,theseL4 kernel for ARM11 will always do precisely what its specification says it will do," lead scientistGerwin Klein said .
The 'seL 4' microkernel has been developed by a team led by Australia's ICT Research Centre of Excellence's spinout company — Open Kernel Labs (OK Labs ). It is a small operating system kernel which regulates access to a computer's hardware .
Its unique feature is that it has been mathematically proven to operate correctly , enabling it to separate trusted from untrusted software , protecting critical services from a failure or a malicious attack , say the scientists .
In future applications , seL4 could ensure that trusted financial transaction software from securesourceslikebanks or stockexchangescan operate securely on a customer's mobile phone alongside "untrusted" software , such as games downloaded from the Internet , according to its developers .
It could also provide a secure and reliable environment for mission-critical defence data , operating on the same platform as everyday applications like email . Or , it could protect the life-supporting functions of an implanted medicaldevice ,such as a pacemaker , from hacking , they say .
"Our seL4 microkernel is the only operating system kernel in existence whose source code has been mathematically proven to implement its specification correctly . Under the assumptionsof the proof ,theseL4 kernel for ARM11 will always do precisely what its specification says it will do," lead scientistGerwin Klein said .
Posts
0 comments:
Post a Comment