当前位置: 首页 » 资料 » 健康论文 » 基于条件谓词逻辑的可信计算形式化分析

基于条件谓词逻辑的可信计算形式化分析

放大字体  缩小字体 更新日期:2018-11-26  浏览次数:7
摘 要:针对可信计算信任模型的形式化验证问题,提出了基于条件谓词逻辑的可信计算形式化分析方法.该方法定义了不同的谓词和推演规则,并在谓词逻辑中添加可信性的影响因素作为约束条件,实现对可信计算信任模型的形式化验
  • 【题 名】基于条件谓词逻辑的可信计算形式化分析
  • 【作 者】陈书义 闻英友 赵宏
  • 【机 构】东北大学计算机软件国家工程研究中心 辽宁沈阳110004
  • 【刊 名】《华南理工大学学报:自然科学版》2009年 第5期 106-110页 共5页
  • 【关键词】信息安全 可信计算 信任链 条件谓词逻辑
  • 【文 摘】针对可信计算信任模型的形式化验证问题,提出了基于条件谓词逻辑的可信计算形式化分析方法.该方法定义了不同的谓词和推演规则,并在谓词逻辑中添加可信性的影响因素作为约束条件,实现对可信计算信任模型的形式化验证.文中还通过实例对可信计算平台的安全引导过程进行了分析,并根据分析结果提出了委托链长度受限的可信计算平台安全引导过程.结果表明,文中的方法能清晰、有效地用于可信计算信任模型的形式化分析.
 
本文导航:
  • (1) 信息安全,可信计算,信任链,条件谓词逻辑
  • 下一篇:鳖甲
  • 上一篇:暂无
 
[ 资料搜索 ]  [ 加入收藏 ]  [ 告诉好友 ]  [ 打印本文 ]  [ 关闭窗口 ]

 

 
推荐图文
推荐资料
热门关注