微软研发又一非Windows操作系统Verve
2019-04-20 08:54:21来源:华彩软件站 阅读 ()
微软研发又一非Windows操作系统Verve
来源:雨林木风
微软正在研发非Windows操作系统这已经不是什么秘密,仅目前公开证实的就有Midori、Singularity,还有上月被曝光的SafeOS。今天,微软发布了一份白皮书,介绍了一款新的非Windows操作系统Verve。Verve当前还只是微软研究院开发的一个原型,它是一个操作系统和运行时(runtime)系统,主要为了确保type和内存的安全性。虽然Verve听起来比较陌生,不过它其实是从另一个大家比较熟悉的非Windows系统Singularity中剥离出来的。Singularity平台项目是一款用托管代码编写的以研究为目的的操作系统。
微软表示:“汇编语言(TAL)和霍尔逻辑可以确保低级代码中不会出现多种错误,我们使用汇编语言和霍尔逻辑来实现一个新操作系统Verve在安全性方面的高度自动化、静态验证。”
“我们的技术和工具能自动验证操作系统、运行时系统、驱动和应用程序中的每个汇编语言指令的安全性,实际上,它们会验证除了引导程序之外系统的每一部分的汇编语言指令的安全性。”也就是说,通过对每条汇编指令的自动验证微软可以确保整个操作系统的安全性。
微软Verve白皮书下载
原文链接:http://www.huacolor.com/article/18037.html
如有疑问请与原作者联系
标签:
版权申明:本站文章部分自网络,如有侵权,请联系:west999com@outlook.com
特别注意:本站所有转载文章言论不代表本站观点,本站所提供的摄影照片,插画,设计作品,如需使用,请与原作者联系,版权归原作者所有
- IE6.0如何清除浏览器的缓存 2019-05-04
- IE6.0如何设置代理IP上网 2019-05-04
- IE6.0如何保存在网上看过的视频 2019-05-04
- windows10秋季创意者更新时间 windows10秋季创意者更新内容 2019-05-04
- win10秋季创意者更新何时发布 win10秋季创意者更新更新了什 2019-05-04
IDC资讯: 主机资讯 注册资讯 托管资讯 vps资讯 网站建设
网站运营: 建站经验 策划盈利 搜索优化 网站推广 免费资源
网络编程: Asp.Net编程 Asp编程 Php编程 Xml编程 Access Mssql Mysql 其它
服务器技术: Web服务器 Ftp服务器 Mail服务器 Dns服务器 安全防护
软件技巧: 其它软件 Word Excel Powerpoint Ghost Vista QQ空间 QQ FlashGet 迅雷
网页制作: FrontPages Dreamweaver Javascript css photoshop fireworks Flash