一种安全模型,其中能力表示对资源允许的访问范围和权限。
Spritely 的 Christine Lemmer-Webber 和 David Thompson 介绍了该平台如何结合能力安全、参与者模型、OCapN 协议和 petname 系统,构建对中心化服务器依赖更少的点对点应用。文章还介绍了 Goblins、Hoot 和本地 CRDT 在处理授权、同步与命名问题方面的作用。
David Chisnall解释了CHERI架构如何利用硬件能力保护指针、强制实施内存边界和权限,从而为使用C和C++编写的软件提供空间和时间安全性,而无需大规模重写代码。演讲还将这一机制与在系统组件之间构建精细化隔离的可能性联系起来,使组件能够直接共享数据结构,而不是完全依赖传统的RPC机制。