@biparadox
专业研究可信计算与操作系统安全,开发可信cube架构及基于cube架构派生的可信根模拟器、可信密码组件、可信云环境等等,并将涉猎更多领域。
通用可信软件基架构原型系统
基于cube架构和cube-tcm模拟环境的可信密码功能组件,可实现多种复杂密码功能的自动化
可信报告demo
一个基于cube的排序算法追踪演示环境
2025年北京工业大学系统安全综合课程设计课的AI安全环境场景
一个文件传输安全示范程序
一个tcm的开源模拟器,可支持云计算环境的虚拟tcm.
一个用来测试访问控制应用的兵棋式可信计算赛题。 本赛题的设计目标为通过用BLP模型来解决一个具体场景中的安全问题,来让学生理解BLP模型的作用,掌握根据实际需求对BLP模型进行适当调整的应用方法。 本题场景选择为公司内部员工查询个人信息的场景。公司允许员工查询本人的信息和他人的信息,公司管理制度设置了一些员工信息的查询规则。由于员工数量很多,设置自主访问控制机制来实现查询规则,工作量很大且容易出