We define the notion of a \Phi-complete mutation algorithm. Given a set of transformations \phi, an algorithm is complete with respect to \Phi, if it can generate every instance that the transformations in \Phi derive. We show that if the rules in \Phi are uniform and reversible then a \Phi-complete algorithm exists. Intuitively speaking, uniform and reversible transformations mean that we can first exclusively apply transformations that simplify the attack, then exclusively apply transformations that complicate it, and still get all possible instances that are derived by the rules in \Phi.

Although uniformity and reversibility may appear severe restrictions, we show that common attack transformations are indeed uniform and reversible. Therefore, our \Phi- complete algorithm can be incorporated into existing testing tools for intrusion detection systems. Furthermore, we show that a \Phi-complete algorithm is useful, not only for testing purposes, but also for determining whether two packet traces are two different mutations of the same attack.