Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Formal Specification and Analysis of Security-Critical Norms and Policies

biblio

Understanding Sharing Policies in Multiparty Scenarios: Incorporating Context, Preferences, and Arguments into Decision Making

Submitted by mpsingh on Mon, 01/09/2017 - 3:47am

tearline

Formal Specification and Analysis of Security-Critical Norms and Policies - July 2015

Submitted by drwright on Wed, 06/17/2015 - 9:29am

biblio

Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract

Submitted by mpsingh on Tue, 04/07/2015 - 4:21pm

Formal Specification and Analysis of Security-Critical Norms and Policies

tearline

Formal Specification and Analysis of Security-Critical Norms and Policies - April 2015

Submitted by drwright on Sun, 03/22/2015 - 12:20pm

group_project

Formal Specification and Analysis of Security-Critical Norms and Policies

Submitted by mpsingh on Thu, 10/23/2014 - 12:53pm

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.

Terms of Use | ©2023. CPS-VO