~: M H O :~ NEWS: World's first hack-free software 'developed'

 

World's first hack-free software 'developed'

 

 

 

Scientists have developed what they claim is the world's first hack-free software which can protect systems from failure or malicious attacks. The 'seL4' microkernel has been developed by a team led by Australia's ICT Research Centre of Excellence's spinout company -- Open Kernel Labs (OK Labs).

 

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 secure sources like banks or stock exchanges can 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 medical device, 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 assumptions of the proof, the seL4 kernel for ARM11 will always do precisely what its specification says it will do," lead scientist Gerwin Klein said.

SEJAL

__._,_.___

Reply to sender | Reply to group | Reply via web post | Start a New Topic

Messages in this topic (1)

Recent Activity:

• New Members 544

Visit Your Group

Visit Our WebSite : http://www.MumbaiHangout.Org
                  : http://www.mastchulbule.com/

Our Friends Network: http://www.nayidosti.com/home.php

To Subscribe Get Emails from us click http://groups.yahoo.com/subscribe/MumbaiHangOut

------------------
DISCLAIMER :
------------------
This message serves informational purposes only and should not be viewed as an irrevocable indenture between anyone. If you have erroneously received this message, please delete it immediately and notify the sender at MumbaiHangOut-Owner@yahoogroups.com. The recipient acknowledges that any views expressed in this message are those of the Individual sender and no binding nature of the message shall be implied or assumed unless the sender does so expressly with due authority of The M.H.O. Group. M.H.O. reserves the right to repeal, change, amend, modify, add, or withdraw the contents herein without notice or obligation.
---------------------------------------------------
Note:- MHO is Not Responsible For Any Claims.
---------------------------------------------------

Switch to: Text-Only, Daily Digest • Unsubscribe • Terms of Use

.

__,_._,___