Date: Nov 20, 2012
Title: Chowdhury, Pontual, Winsborough, Niu et al. Receive Best Paper Award
Mr. Omar Chowdhury (Ph.D. candidate), Dr. Murillo Pontual, Dr. William H. Winsborough, Dr. Ting Yu, Dr. Keith Irwin, and Dr. Jianwei Niu have received the best paper award at SACMAT '12, Proceedings of the 17th ACM symposium on Access Control Models and Technologies. The title of the paper is, "Ensuring Authorization Privileges for Cascading User Obligations."
User obligations are actions that the human users are required to perform in some future time. These are common in many practical access control and privacy policies and can depend on and affect the authorization state. Consequently, a user can incur an obligation that she is not authorized to perform which may hamper the usability of a system. To mitigate this problem, previous work introduced a property of the authorization state, accountability, which requires that all the obligatory actions to be authorized when they are attempted. Although, existing work provides a specific and tractable decision procedure for a variation of the accountability property, it makes a simplified assumption that no cascading obligations may happen, i.e., obligatory actions cannot further incur obligations. This is a strong assumption which reduces the expressive power of past models, and thus cannot support many obligation scenarios in practical security and privacy policies. In this work, we precisely specify the strong accountability property in the presence of cascading obligations and prove that deciding it is NP-hard. We provide for several special yet practical cases of cascading obligations (i.e., repetitive, finite cascading, etc.) a tractable decision procedure for accountability. Our experimental results illustrate that supporting such special cases is feasible in practice.