100049

Department: 中国科学院软件研究所信息安全国家重点实验室北京100080;中国科学院研究生院北京100049;中国科学院软件研究所信息安全国家重点实验室北京100080 Abstract: 引导过程的安全是计算机系统安全的基点安全的引导系统需要保证系统加电后引导执行链条中的实体未受篡改.当前基于可信平台模块(TPM)开展的可信引导工作仅能可信地记录并报告系统引导的证据链无法进行验证以及进一步的处理.提出一种可配置的可信引导系统可以配置认证引导和安全引导支持细粒度的文件验证以及操作系统内核的可信恢复.给出了系统的设计思想并介绍了其原型工作实验表明该系统能够有效实现其设计目标.

Department: 中国科学院软件研究所信息安全国家重点实验室北京100080;中国科学院研究生院北京100049;中国科学院软件研究所信息安全国家重点实验室北京100080 Abstract: 引导过程的安全是计算机系统安全的基点安全的引导系统需要保证系统加电后引导执行链条中的实体未受篡改.当前基于可信平台模块(TPM)开展的可信引导工作仅能可信地记录并报告系统引导的证据链无法进行验证以及进一步的处理.提出一种可配置的可信引导系统可以配置认证引导和安全引导支持细粒度的文件验证以及操作系统内核的可信恢复.给出了系统的设计思想并介绍了其原型工作实验表明该系统能够有效实现其设计目标.

Department: 中国科学院软件研究所信息安全国家重点实验室北京100080;中国科学院研究生院北京100049;中国科学院软件研究所信息安全国家重点实验室北京100080 Abstract: 引导过程的安全是计算机系统安全的基点安全的引导系统需要保证系统加电后引导执行链条中的实体未受篡改.当前基于可信平台模块(TPM)开展的可信引导工作仅能可信地记录并报告系统引导的证据链无法进行验证以及进一步的处理.提出一种可配置的可信引导系统可以配置认证引导和安全引导支持细粒度的文件验证以及操作系统内核的可信恢复.给出了系统的设计思想并介绍了其原型工作实验表明该系统能够有效实现其设计目标.

Department: 中国科学院计算机网络信息中心超级计算中心北京100080;中国科学院软件研究所北京100080;中国科学院研究生院北京100049;中国科学院计算机网络信息中心超级计算中心北京100080;中国科学院计算机网络信息中心超级计算中心北京100080 Abstract: 对称矩阵三对角化和三对角对称矩阵的特征值求解是稠密对称矩阵特征问题并行求解器的关键步 .针对SMP集群系统的多级体系结构基于Householder变换的矩阵三对角化和三对角矩阵特征值问题的分而治之算法给出了它们的MPI+OpenMP混合并行算法 .算法研究集中在SMP集群系统环境下的负载平衡、通信开销和性能评价 .混合并行算法的设计结合了粗粒度线程并行模式和任务共享的动态调用方法改善了MPI算法中的负载平衡问题、降低了通信开销 .在深腾6800上的实验表明基于混合并行算法的求解器比纯MPI版本的求