基于改进FSM的RBAC测试集约简方法

• 作者: 袁佳琳 高建华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 有限状态机 权限控制 基于角色的访问控制 一致性测试集 试探法 错误覆盖率
• 年，卷（期）: 2012,（17）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 42-45,48
• 分类号: TP311
• 字数: 6252字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.17.012

摘要

使用完备的有限状态机生成一致性测试集虽然有效,但数量庞大.针对该问题,考虑一般系统访问控制的基本需求,提出6种探索式方法对有限状态机(FSM)进行约简,有效避免状态爆炸的现象发生,简化了生成的一致性测试集大小.对基于FSM生成树进行实验,结果表明,改进FSM对缩小基于角色的访问控制系统一致性测试集是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高建华	上海师范大学计算机科学与技术系	97	856	12.0	26.0
2	袁佳琳	上海师范大学计算机科学与技术系	5	4	1.0	2.0