Chung-Wei Hang

Aragorn: Eliciting and Maintaining Secure Service Policies

2017 · Computer

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.