Relating declarative semantics and usability in access control. - Vivek Krishnan; Mahesh V. Tripunitara; Kinson Chik; Tony Bergstrom (SOUPS, 2012)