Visible to the public Expressing and Reasoning about Conflicting Norms in Cybersecurity: PosterConflict Detection Enabled

TitleExpressing and Reasoning about Conflicting Norms in Cybersecurity: Poster
Publication TypeConference Paper
Year of Publication2016
AuthorsJiaming Jiang, Nirav Ajmeri, Rada Y. Chirkova, Jon Doyle, Munindar P. Singh
Conference NameProceedings of the International Symposium and Bootcamp on the Science of Security (HotSoS)
Date Published04/2016
PublisherACM
Conference LocationPittsburgh
KeywordsApr'16, Formal Specification and Analysis of Security-Critical Norms and Policies, NCSU
Abstract

Secure collaboration requires the collaborating parties to apply the
right policies for their interaction. We adopt a notion of
conditional, directed norms as a way to capture the standards of
correctness for a collaboration. How can we handle conflicting norms?
We describe an approach based on knowledge of what norm dominates what
norm in what situation. Our approach adapts answer-set programming to
compute stable sets of norms with respect to their computed conflicts
and dominance. It assesses agent compliance with respect to those
stable sets. We demonstrate our approach on a healthcare scenario.

Citation KeyHotSoS-16:Conflict