微软正在研发非Windows操作系统这已经不是什麽秘密，仅目前公开证实的就有Midori、 Singularity，还有上月被曝光的SafeOS。今天，微软发布了一份白皮书，介绍了一款新 的非Windows操作系统Verve。 Verve当前还只是微软研究院开发的一个原型，它是一个操作系统和运行时（runtime）系 统，主要为了确保type和内存的安全性。虽然Verve听起来比较陌生，不过它其实是从另 一个大家比较熟悉的非Windows系统Singularity中剥离出来的。Singularity平台项目是 一款用托管代码编写的以研究为目的的操作系统。 微软表示：「汇编语言（TAL）和霍尔逻辑可以确保低级代码中不会出现多种错误，我们 使用汇编语言和霍尔逻辑来实现一个新操作系统Verve在安全性方面的高度自动化、静态 验证。」 「我们的技术和工具能自动验证操作系统、运行时系统、驱动和应用程序中的每个汇编语 言指令的安全性，实际上，它们会验证除了引导程序之外系统的每一部分的汇编语言指令 的安全性。」也就是说，通过对每条汇编指令的自动验证微软可以确保整个操作系统的安 全性。 http://news.mydrivers.com/Img/20101210/12064219.png 微软Verve白皮书下载： http://research.microsoft.com/pubs/122884/pldi117-yang.pdf http://news.mydrivers.com/1/181/181730.htm --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.121.197.68