袁丁 吴晓南 张凯 房鼎益 马博 初晓博 沈宁 秦宇 王亚刚 刘炜 杨晓艳

内核驱动 使用控制 权能模块 分布式访问控制 BLP模型 Linux 访问控制 基于角色的访问控制 安全操作系统 强制访问控制 系统调用 堆栈溢出 可信计算 嵌入式系统 可信扩展访问控制标记语言 形式化