欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Gazelle
来自开放百科 - 灰狐
（版本间的差异）
小 (Gazelle (web browser)移动到Gazelle) |
|||
| （未显示1个用户的3个中间版本） | |||
| 第1行： | 第1行： | ||
| + | {{SeeWikipedia|Gazelle (web browser)}} | ||
| + | |||
The Multi-Principal OS Construction of the Gazelle Web Browser | The Multi-Principal OS Construction of the Gazelle Web Browser | ||
| 第8行： | 第10行： | ||
==Links== | ==Links== | ||
*http://research.microsoft.com/apps/pubs/default.aspx?id=79655 | *http://research.microsoft.com/apps/pubs/default.aspx?id=79655 | ||
| + | |||
| + | [[Category: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
分享您的观点
