您的位置： 专家智库 > >

朱锦

作品数：1 被引量：1H指数：1
供职机构：江苏大学计算机科学与通信工程学院更多>>
发文基金：国家自然科学基金江苏省“六大人才高峰”高层次人才项目江苏省科技支撑计划项目更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇多维度
  • 1篇维度
  • 1篇广度优先

机构

  • 1篇江苏大学

作者

  • 1篇王昌达
  • 1篇朱锦

传媒

  • 1篇计算机应用研...

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于多维度抽象和广度优先搜索空间划分的隐蔽信息流检测方法被引量：1
2016年
隐蔽信息流检测是开发可信计算机系统中的关键问题,而状态空间爆炸是基于状态机模型检测隐蔽信息流的主要障碍。提出一种多安全级系统中基于主体安全级的二维抽象方法,在此基础上设计了广度优先的搜索空间划分方法,使得划分变量的选取范围更大,扩展了搜索空间划分的应用范围,克服了深度优先划分方法中划分变量难以选取的问题。实验数据表明,结合抽象和搜索空间划分的方法有效降低了模型的验证规模,因此有效缓解了状态空间爆炸问题。
王昌达朱锦
全选 清除 导出
共1页<1>
聚类工具0