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

限定检索结果

文献类型

  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 4 篇 工学
    • 4 篇 计算机科学与技术...
    • 3 篇 网络空间安全
    • 1 篇 软件工程
  • 1 篇 理学
    • 1 篇 数学

主题

  • 5 篇 安全进程代数
  • 2 篇 信息流安全模型
  • 1 篇 信任链
  • 1 篇 不可演绎
  • 1 篇 可复合的不可演绎...
  • 1 篇 进程等价
  • 1 篇 非干扰模型
  • 1 篇 指称语义
  • 1 篇 分离模型
  • 1 篇 非推断模型
  • 1 篇 信息流安全
  • 1 篇 非演绎模型
  • 1 篇 操作语义
  • 1 篇 无干扰
  • 1 篇 迹语义

机构

  • 2 篇 滁州学院
  • 2 篇 华东理工大学
  • 2 篇 信息工程大学
  • 1 篇 武汉数字工程研究...
  • 1 篇 空天信息安全与可...
  • 1 篇 武汉大学

作者

  • 2 篇 郭金庚
  • 2 篇 尹青
  • 2 篇 周伟
  • 2 篇 虞慧群
  • 2 篇 王精明
  • 1 篇 严飞
  • 1 篇 徐明迪
  • 1 篇 张焕国
  • 1 篇 李峻林
  • 1 篇 赵恒

语言

  • 5 篇 中文
检索条件"主题词=安全进程代数"
共 5 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于安全进程代数的信息流安全模型的分析与验证
收藏
分享
引用
华东理工大学学报（自然科学版） 2012年 第1期38卷 102-106,115页
作者： 王精明 虞慧群 华东理工大学计算机科学与工程系 上海200237 滁州学院计算机科学与技术系 安徽滁州239012
基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于安全进程代数的非演绎安全模型的分析与验证
收藏
分享
引用
计算机科学 2012年 第2期39卷 56-58页
作者： 王精明 虞慧群 华东理工大学计算机科学与工程系 上海200237 滁州学院计算机与信息工程学院 滁州239012
就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模型进行分析的基础上,基于安全进程代数给出非演绎模型的形式化描述,然后基于系统的安全进程代数表达式给... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
安全进程代数基础
收藏
分享
引用
信息工程大学学报 2004年 第2期5卷 43-45,52页
作者： 周伟 尹青 郭金庚 信息工程大学信息工程学院 河南郑州450002
安全进程代数可以作为信息流安全的基础理论框架。本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于安全进程代数的信息流模型
收藏
分享
引用
信息工程大学学报 2004年 第3期5卷 5-9页
作者： 尹青 周伟 郭金庚 信息工程大学信息工程学院 河南郑州450002
文章在安全进程代数理论框架内讨论信息流安全模型。基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
可信计算平台信任链安全性分析
收藏
分享
引用
计算机学报 2010年 第7期33卷 1165-1176页
作者： 徐明迪 张焕国 赵恒 李峻林 严飞 武汉数字工程研究所 武汉430074 武汉大学计算机学院 武汉430072 空天信息安全与可信计算教育部重点实验室 武汉430072
可信计算规范是指导可信计算产品研制的依据,可信计算规范本身的安全性需要得到验证.信任链是可信计算平台中保障系统安全可靠的主要技术手段,它是可信计算平台整个系统安全的中心问题.针对可信计算平台信任链规范的信息流安全问题,文... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件