%0 Journal Article
%T 基于通用准则的可信计算支撑软件设计方法 A Design Method of Trusted Computing Supporting Software Based on Common Criteria
%A 何凡
%A 冷静
%J 郑州大学学报（理学版）
%D 2018
%X 现有的可信计算支撑软件的规范只定义了软件的功能接口,对其要达到的安全功能需求没有明确的描述,这使得可信计算支撑软件的分析和设计没有明确的安全目标.针对这一问题,结合通用准则CC的思想,提出一种可信计算支撑软件的设计方法,通过分析可信计算支撑软件的安全功能需求,并按照功能类、功能族和组件的层次对其安全功能进行了划分,确定功能组件间的依赖关系,完成了可信计算支撑软件原型的设计,能实现密码支持和完整性保护等安全目标.实验结果表明,该软件支持TPM2.0的接口调用,并能够对中国密码算法SM4提供调用支持.
%K 通用准则
%K 可信计算平台
%K 可信计算支撑软件
%K 可信平台模块
%K 安全功能
%U http://zzdz.cbpt.cnki.net/WKD/WebPublication/paperDigest.aspx?paperID=48b3d258-35bc-40cd-9f8c-ed91e817c2a0