客服热线:19932581850

基于控制流模型多次度量的静态远程证明方法

次浏览
  • 详细信息
  • 成果简介
  • 成果亮点
  • 前景分析
成果名称: 基于控制流模型多次度量的静态远程证明方法 关键字: 属性 , 度量 , 静态 , 可信 , 策略 , 证明 , 客体 , bpcf , 远程 , 移动终端 应用行业: 计算机、通信和其他电子设备制造业
高新技术领域: 电子信息技术 所在地: 北京市 知识产权类型: 发明专利
知识产权编号: CN201210587209.3 成果体现形式: 成果属性:
成果所处阶段: 授权 成果水平: 国内先进 研究形式:
学科分类: 战略新兴产业: 新一代信息技术 课题来源:
第一完成单位名称: 清华大学 第一完成单位属性: 技术成熟度:
合作方式: 专利许可 交易价格(万): 40.00 所属十强产业:

本发明提供一种基于控制流模型多次度量的静态远程证明方法,其该方法包括:S1、服务提供商根据用户的安全需求,对任务运行期间的静态属性进行规则制定,生成策略证书;S2、移动终端获取策略证书,并执行策略控制;所述策略控制为移动终端基于策略证书和控制流模型对终端操作系统进行访问控制;S3、移动终端对任务运行中多个度量点的静态属性进行度量和远程证明。通过本发明进行静态属性多次度量和远程证明,解决了可信计算平台中密码服务部件的静态属性证明问题,使验证能够更加准确体现系统状态始终符合用户预期。

  • 附件

联系方式

  • 联系人:

    苏博晖

  • 联系电话:

    15614431192

  • QQ/MSN:

  • Email:

  • 通讯地址:

请填写以下信息

  • 联系人姓名:

  • 联系人电话:

  • 手机号:

  • 邮箱:

  • QQ:

  • 工作单位:

  • 地址:

  • 意向说明:

  • 取消 确定

    友情链接

  • logo图片

    专注专业

    资深行业经验,专业技术运作团队

  • logo图片

    信息保密

    专利或技术全方位严格保密,保证用户权益

  • logo图片

    快速转让

    依托大数据,精准对接需求企业,节约成本

  • logo图片

    一站式服务

    技术转让一站式服务,省心更放心