1. A method for generating at least one output expression from at least one input expression, where the at least one input expression is a logical expression of a first policy and the at least one output expression is at least one logical expression of a second policy, the method comprising the step of applying at least one transformation to at least one sub-expression of the at least one input expression to produce the at least one output expression.