Expressing and Reasoning about Conflicting Norms in Cybersecurity: Poster
Title | Expressing and Reasoning about Conflicting Norms in Cybersecurity: Poster |
Publication Type | Conference Paper |
Year of Publication | 2016 |
Authors | Jiaming Jiang, Nirav Ajmeri, Rada Y. Chirkova, Jon Doyle, Munindar P. Singh |
Conference Name | Proceedings of the International Symposium and Bootcamp on the Science of Security (HotSoS) |
Date Published | 04/2016 |
Publisher | ACM |
Conference Location | Pittsburgh |
Keywords | Apr'16, Formal Specification and Analysis of Security-Critical Norms and Policies, NCSU |
Abstract | Secure collaboration requires the collaborating parties to apply the |
Citation Key | HotSoS-16:Conflict |