Aragorn: Eliciting and Maintaining Secure Service Policies
Nirav Ajmeri, Chung-Wei Hang, Simon Parsons, Munindar P. Singh · Computer · 2017
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.