本项目针对安全领域的可信计算进行研究,构建科学的可信计算理论体系结构,为安全理论体系的发展提供新的视角,为可信计算的技术发展提供理论支持。可信计算旨在从根本上研究层出不穷的安全问题,所以近年来引起国内外的广泛关注,然而可信计算并没建立起一套公认的、科学的理论体系,其根本原因便是意识形态的"信任"是个非常复杂的概念。本项目将从信任这一根本问题入手,深入研究可信计算的理论体系。利用形式化方法构造特殊性
{{i.achievement_title}}
数据更新时间:2023-05-31
粗颗粒土的静止土压力系数非线性分析与计算方法
中国参与全球价值链的环境效应分析
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于细粒度词表示的命名实体识别研究
货币政策与汇率制度对国际收支的影响研究
Akt/AMPK-mTOR信号通路介导自噬在三阴乳腺癌不同辐射条件下的动态变化及增敏模型靶向干预研究
支持可信计算的虚拟平台研究
实数可信计算理论与算法
基于虚拟化技术的可信计算环境研究
面向粒度化环境的遥感可信计算研究