Microsoft Office Professional Plus 2010 Microsoft'
 

Microsoft is developing a different operating system and Windows , currently known projects include Midori and Singularity. Recently, a new operating system called SafeOS appear different from the previous two projects , Microsoft has not publicly SafeOS news.

SafeOS this product or development projects is not the code , just a simple title. Microsoft is in a patent application mentioned SafeOS, the patent is mainly concerned with a secure operating system ,Microsoft Office Professional Plus 2010, which uses assembly language (TAL) and the Hoare logic and memory technology for the security type to provide highly automated , static verification.

In fact, this new platform concept involves a completely different operating system architecture , beyond the current address -based memory protection mechanisms. In the patent , Microsoft described the road : ' Kernel -based applications to run . Kernel is using C # or other languages ​​, created in the Nucleus on preemptive multitasking threads and other high level of service .

Microsoft patents stressed , SafeOS is only a concept design, to illustrate the automated verification of the Principle of static security , Microsoft can not guarantee the further development of SafeOS. <!--