SafeOS: Microsoft's non-Windows Safe Operating System

Microsoft's certainly exploring operating systems beyond Windows, and SafeOS can be added to the list that already contains Midori and Singularity. SafeOS is mentioned in a Microsoft patent application unearthed by MA-Config, which involves a secure operating system put together by using techniques such as typed assembly language (TAL) and Hoare logic for an Automated, […]

Microsoft's certainly exploring operating systems beyond Windows, and SafeOS can be added to the list that already contains Midori and Singularity. SafeOS is mentioned in a Microsoft patent application unearthed by MA-Config, which involves a secure operating system put together by using techniques such as typed assembly language (TAL) and Hoare logic for an Automated, Static Safety Verifier in order to deliver highly automated, static verification of both type and memory safety.

SafeOs

"SafeOS, or a similar operating system constructed using the "Automated, Static Safety Verifier", includes a "Nucleus" that provides access to hardware and memory, a "kernel" that builds services on top of the Nucleus, and applications that run on top of the kernel," reads an excerpt from the patent.

[Source]

About The Author

Deepak Gupta is a IT & Web Consultant. He is the founder and CEO of diTii.com & DIT Technologies, where he's engaged in providing Technology Consultancy, Design and Development of Desktop, Web and Mobile applications using various tools and softwares. Sign-up for the Email for daily updates. Google+ Profile.