您的位置： 专家智库 > >

华明辉

作品数：1 被引量：1H指数：1
供职机构：江苏大学计算机科学与通信工程学院更多>>
发文基金：江苏省高校自然科学研究项目江苏省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇谓词
  • 1篇谓词抽象
  • 1篇访问控制
  • 1篇安全性

机构

  • 1篇江苏大学

作者

  • 1篇宋香梅
  • 1篇王昌达
  • 1篇鞠时光
  • 1篇华明辉
  • 1篇周从华

传媒

  • 1篇计算机科学

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于抽象和搜索空间划分的安全性判定方法被引量：1
2011年
为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率。理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减。与传统方法相比,它具有速度更快、自动化程度更高等优点。
王昌达华明辉周从华宋香梅鞠时光
关键词：访问控制谓词抽象
全选 清除 导出
共1页<1>
聚类工具0