[00949284]基于可信平台和可信引擎的软件设计方法研究
交易价格:
面议
所属行业:
软件
类型:
非专利
交易方式:
资料待完善
联系人:
所在地:
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
该项目为保障软件开发中的高可信性,对可信计算组织TCG(TrustedComputingGroup)的信任链进行扩展,研究了基于可信平台和可信引擎的软件设计方法。其关键技术及创新点主要有:(1)提出了可信引擎概念,设计了软件可信计算基,扩展了信任根和TCG信任链,将可信保障延伸到用户空间,使用可信引擎对软件运行时的状态进行监测,形成可信证据,从而实现了对应用软件可信性的动态评价与保障;(2)通过定义检查点、场景,描述软件的行为轨迹,设计了用户行为模式规则库,提出可信视图概念,以有效地表达软件的可信属性特征,建立了基于可信视图的软件可信性评价模型;(3)构建了基于可信平台模块和可信引擎的用户行为监控模型,提出了面向Web应用的可信化封装策略,设计了Web服务的可信引擎。依据理论研究成果,实际实现了基于Web服务的可信动态监控平台,并成功应用于多个实际系统,结果表明有效提高了应用系统的可信性。具有良好的社会效益和推广应用前景。
该项目为保障软件开发中的高可信性,对可信计算组织TCG(TrustedComputingGroup)的信任链进行扩展,研究了基于可信平台和可信引擎的软件设计方法。其关键技术及创新点主要有:(1)提出了可信引擎概念,设计了软件可信计算基,扩展了信任根和TCG信任链,将可信保障延伸到用户空间,使用可信引擎对软件运行时的状态进行监测,形成可信证据,从而实现了对应用软件可信性的动态评价与保障;(2)通过定义检查点、场景,描述软件的行为轨迹,设计了用户行为模式规则库,提出可信视图概念,以有效地表达软件的可信属性特征,建立了基于可信视图的软件可信性评价模型;(3)构建了基于可信平台模块和可信引擎的用户行为监控模型,提出了面向Web应用的可信化封装策略,设计了Web服务的可信引擎。依据理论研究成果,实际实现了基于Web服务的可信动态监控平台,并成功应用于多个实际系统,结果表明有效提高了应用系统的可信性。具有良好的社会效益和推广应用前景。