Aragorn: Eliciting and Maintaining Secure Service Policies.

Services are configured via policies that capture expected behaviors, but stakeholder requirements can change, making policy errors a surprisingly common occurrence. Aragorn applies formal argumentation to produce policies that balance stakeholder concerns.