- Scientist have developed what they claim is the world’s first hack free software which can protect system from failure or malicious attacks.
- The ‘seL 4’ microkernel has been developed by a team led by Australian ICT Research center of Excellence’s spinout company – Open Kernel labs (OK Labs). It is a small operating system kernel which regulates access to the 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, seL 4 could ensure that trusted financial transaction software, protecting critical software from secure sources like banks or stock exchanges can operate securely on the costumers 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 same platform as everyday applications like email. Or, it could operate the life supporting functions of an implanted medical device, such as pacemaker, from hacking.
