Preliminary design of the SAFE platform.
SOSP(2011)
摘要
ABSTRACTSafe is a clean-slate design for a secure host architecture. It integrates advances in programming languages, operating systems, and hardware and incorporates formal methods at every step. Though the project is still at an early stage, we have assembled a set of basic architectural choices that we believe will yield a high-assurance system. We sketch the current state of the design and discuss several of these choices.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络