欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Gazelle
来自开放百科 - 灰狐
(版本间的差异)
第1行: | 第1行: | ||
− | {{SeeWikipedia}} | + | {{SeeWikipedia|Gazelle (web browser)}} |
The Multi-Principal OS Construction of the Gazelle Web Browser | The Multi-Principal OS Construction of the Gazelle Web Browser |
2010年10月24日 (日) 03:14的版本
您可以在Wikipedia上了解到此条目的英文信息 Gazelle Thanks, Wikipedia. |
The Multi-Principal OS Construction of the Gazelle Web Browser
Gazelle的内核可以隔离不同来源的网页代码,并管理所有系统资源”。
与Chrome OS构建在Linux上一样,Gazelle并不是一个真正的操作系统。它是构建在操作系统级别的一个服务层,以便扩展浏览器的安全模型。Principal由协议、域名以及端口三部分组成,在进程级别不同的组合之间互相隔离,它是整个系统的关键部分。
更多介绍: 微软的浏览器操作系统:Gazelle
Links
分享您的观点