这是一个跨平台的通用TPCM操作系统CubeOS实现示例。TPCM(Trusted Platform Computing Module)中文名为可信平台控制模块,是我国自主可信计算标准中的核心模块。TPCM可以连接计算节点系统中不同层面的安全机制,实现多安全机制的动态协作。而CubeOS则是一种适合不同TPCM环境,也可以在虚拟TPCM上运行的一个通用版本的TPCM操作系统。
一个用来测试访问控制应用的兵棋式可信计算赛题。 本赛题的设计目标为通过用BLP模型来解决一个具体场景中的安全问题,来让学生理解BLP模型的作用,掌握根据实际需求对BLP模型进行适当调整的应用方法。 本题场景选择为公司内部员工查询个人信息的场景。公司允许员工查询本人的信息和他人的信息,公司管理制度设置了一些员工信息的查询规则。由于员工数量很多,设置自主访问控制机制来实现查询规则,工作量很大且容易出