您的位置： 专家智库 > >

熊微

作品数：2 被引量：0H指数：0
供职机构：清华大学软件学院信息系统与工程研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇数据库
  • 2篇测试技术
  • 1篇有限状态机
  • 1篇数据库安全
  • 1篇数据库管理
  • 1篇数据库管理系...
  • 1篇状态机
  • 1篇库管理
  • 1篇安全策略模型
  • 1篇测试用例
  • 1篇测试用例集

机构

  • 2篇清华大学
  • 1篇中国信息安全...

作者

  • 2篇叶晓俊
  • 2篇熊微
  • 1篇张翀斌
  • 1篇郭颖
  • 1篇李斌

传媒

  • 1篇清华大学学报...
  • 1篇第五届信息安...

年份

  • 2篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
数据库标签安全测试技术
安全功能独立性测试是信息安全产品评估的一个重要方面.高等级数据库管理系统(DBMS)的安全功能都提供基于标签的强制访问控制机制,其安全评估需要构建其安全策略模型,自动的生成覆盖测试需求的测试用例集.围绕通用准则的强制访问...
熊微叶晓俊
关键词：数据库管理系统
文献传递
数据库标签安全测试技术
2012年
为了对高安全数据库管理系统(DBMS)进行安全评估,需要构建其强制访问控制(MAC)策略模型及满足测试需求的测试用例集。论文围绕通用准则第二部分的访问控制策略(FDP_ACC)组件评估要求和DBMS产品标签安全分级、范围、分组等强制访问控制组件元素,定义了一种基于有限状态机概念的模型元素和组件元素之间处理机制,设计了标签组件元素与主体、客体绑定后的读写操作策略规则;给出了一种基于数据库标签安全机制的形式化的五元组自动机模型,并基于图的深度优先遍历方法和迁移覆盖准则得到强制访问控制机制状态迁移树和迁移序列;最后采用W3C组织制定的有限状态机规范语言(SCXML)对论文提出的自动机模型进行了形式化的描述,给出了深度优先遍历自动机的SCXML文件中状态的方法。论文最后演示验证了自动生成满足迁移覆盖的、用于数据库安全标签评估的、抽象测试用例集测试用例序集。
李斌熊微叶晓俊郭颖张翀斌
关键词：数据库安全安全策略模型有限状态机测试用例集
全选 清除 导出
共1页<1>
聚类工具0