Visible to the public Formal Specification and Analysis of Security-Critical Norms and Policies

Project Details

Lead PI

Performance Period

Sep 26, 2021

Ranked 16 out of 118 Group Projects in this group.
12960 related hits.

Goal: To understand how security properties vary with norms and policies that govern the behavior of collaborators (users and organizations), to enable identification of norms and policies that achieve desired tradeoffs between security and user preferences.

Research Questions: How can we verify whether a set of norms (1) is consistent and realizable through the policies and preferences of the collaborators, and (2) achieves specified security properties? How can we predict the difficulty of the reasoned and modular creation and maintenance of sets of norms, policies, and preferences by collaborators?