微軟宣佈又一非Windows操作系統Verve - Windows

微軟正在研發非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

--