Flask结构对象管理器的通用设计与实现

摘要

基于可信计算基尽可能小的设计思想，将Flask(Flux AdvancedSecurity Kernel)安全体系结构对象管理器的安全相关部分与功能相关部分相分离，实现对象管理器通用的模块化设计。该设计具有安全及工程上的优势，且在L4微内核上完成了原型系统的实现。