咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 网络空间安全
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 系统运行可信
  • 1 篇 安全接入可信
  • 1 篇 进程可信
  • 1 篇 进程运行可信
  • 1 篇 无干扰
  • 1 篇 无干扰理论
  • 1 篇 可信

机构

  • 1 篇 解放军信息工程大...
  • 1 篇 中国人民解放军后...
  • 1 篇 北京航空航天大学
  • 1 篇 北京工业大学

作者

  • 1 篇 曾荣仁
  • 1 篇 陈幼雷
  • 1 篇 张兴
  • 1 篇 杨伟铭
  • 1 篇 李峰
  • 1 篇 陈亮
  • 1 篇 沈昌祥

语言

  • 2 篇 中文
检索条件"主题词=系统运行可信"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于进程的无干扰可信模型
收藏
分享
引用
通信学报 2009年 第3期30卷 6-11页
作者： 张兴 陈幼雷 沈昌祥 解放军信息工程大学电子技术学院 河南郑州410002 北京工业大学计算机学院 北京100022
提出了一种适应于可信计算平台系统设计的抽象模型,该模型借鉴信息流的基本无干扰理论,利用进程代数和逻辑推理方法,将系统抽象为进程、动作、状态和输出,形式化地定义了进程运行可信,给出进程运行可信的条件和性质,推出进程运行可信隔... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于无干扰理论的信任链传递模型
收藏
分享
引用
计算机科学 2016年 第10期43卷 141-144,181页
作者： 陈亮 曾荣仁 李峰 杨伟铭 中国人民解放军后勤科学研究所 北京100071 北京航空航天大学 北京100191
针对现有的信任链传递模型可用性不强、缺乏将信任链扩展到网络环境的缺点,提出了一种新的基于无干扰理论的信任链传递模型。该模型将系统抽象为进程、动作和执行,从可信根出发,通过度量程序及其动态库完整性来保证进程静态可信;分析交... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件