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

Submitted by aehunt on Fri, 06/27/2014 - 5:27pm

Public Audience
Purpose: To highlight project progress. Information is generally at a higher level which is accessible to the interested public. All information contained in the report (regions 1-3) is a Government Deliverable/CDRL.

PI(s):  Jon Doyle, Munindar Singh, Rada Chirkova
Researchers: 

Bennett Y. Narron

HARD PROBLEM(S) ADDRESSED

  • Policy-Governed Secure Collaboration - This project addresses how to specify and analyze norms (standards of correct collaborative behavior) and policies (ways of achieving different collaborative behaviors) to determine important properties, such as their mutual consistency.
  • Scalability and Composability - This project can facilitate the composition of new collaborative systems by combining sets of norms and policies, and verifying whether such combinations satisfy desired properties.

PUBLICATIONS
Report papers written as a results of this research. If accepted by or submitted to a journal, which journal. If presented at a conference, which conference.

None.

 

ACCOMPLISHMENT HIGHLIGHTS

We began to understand the range of expressiveness required for norms and policies to model real-life collaborative systems, such as arise in healthcare.

Groups: