Automated Test Generation for Access Control Policies via Change-Impact Analysis

Evan Martin, Tao Xie. SESS`07

本文工作：
本文提出了一个生成Access Control Policy测试的方法，借助Change-Impact技术来生成测试request。并且开发了可用的工具Cirg。

该方法基于Change-Impact工具Margrave，首先提出两种生成policy不同版本的策略：one-to-empty和all-to-negate-one。

one-to-empty

对每条规则，生成两个版本的policy，分别是仅由该规则构成的permission（prohibition）policy和没有任何规则的prohibition（permission）policy

all-to-negate-one

对每条规则将permission（prohibition）改为prohibition（permission）。

Change-Impact工具可以针对两个不同版本的policy生成反例request，以覆盖对应的rule，自然可以将生成的反例request作为测试输入。

本文贡献：

1、提出了新颖的生成Access Control Policy测试输入的方法：基于Change-Impact的方法；

2、开发了可用的工具Cirg，自动生成测试输入；