Microsoft Office Professional 2007 Microsoft's Win
 

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 , which uses assembly language (TAL) and the Hoare logic and memory technology for the security type to provide highly automated ,Microsoft Office Professional 2007, 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. <!--