数据库标签安全测试技术

摘要

安全功能独立性测试是信息安全产品评估的一个重要方面.高等级数据库管理系统(DBMS)的安全功能都提供基于标签的强制访问控制机制,其安全评估需要构建其安全策略模型,自动的生成覆盖测试需求的测试用例集.围绕通用准则的强制访问控制组件评估需求和DBMS产品标签安全分级、范围、分组等组件元素,定义了基于有限状态机概念的模型元素和组件元素之间处理机制,设计了标签组件元素与主体、客体绑定后的读写操作策略规则.最后给出了一种数据库标签安全机制的形式化的五元组自动机模型,并基于图形遍历搜索方法,采用迁移覆盖测试用例集合生成算法得到了数据库安全标签评估用的测试用例集.