冯登国 初晓博 孔令富

强RSA假设 优化 可信平台模块 使用控制 SQL Server 安全性证明 可信计算 可信扩展访问控制标记语言 性能 Linux安全模块 组件度量 远程证明实例 分布式访问控制 更新证明 大型数据库 会话组件树 远程证明 基于属性的证明

中国科学院软件研究所信息安全国家重点实验... 燕山大学信息科学与工程学院 秦皇岛 信息安全共性技术国家工程研究中心 中国科学院研究生院