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