咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 网络空间安全

主题

  • 1 篇 信任链
  • 1 篇 条件谓词逻辑
  • 1 篇 可信计算
  • 1 篇 信息安全

机构

  • 1 篇 东北大学

作者

  • 1 篇 赵宏
  • 1 篇 zhao hong
  • 1 篇 chen shu-yi
  • 1 篇 陈书义
  • 1 篇 闻英友
  • 1 篇 wen ying-you

语言

  • 1 篇 中文
检索条件"主题词=条件谓词逻辑"
1 条 记 录,以下是1-10 订阅
排序:
基于条件谓词逻辑的可信计算形式化分析
收藏 引用
华南理工大学学报(自然科学版) 2009年 第5期37卷 106-110页
作者: 陈书义 闻英友 赵宏 东北大学计算机软件国家工程研究中心 辽宁沈阳110004
针对可信计算信任模型的形式化验证问题,提出了基于条件谓词逻辑的可信计算形式化分析方法.该方法定义了不同的谓词和推演规则,并在谓词逻辑中添加可信性的影响因素作为约束条件,实现对可信计算信任模型的形式化验证.文中还通过实例对... 详细信息
来源: 评论