2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.CR2015★ 2 cited
Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations (Extended Version)
William C. Garrison, Adam J. Lee
Access control is fundamental to computer security, and has thus been the subject of extensive formal study. In particular, *relative expressiveness analysis* techniques have used…
cs.CR2013★ 1 cited
The Design and Demonstration of an Actor-Based, Application-Aware Access Control Evaluation Framework
William C. Garrison, Adam J. Lee, Timothy L. Hinrichs
To date, most work regarding the formal analysis of access control schemes has focused on quantifying and comparing the expressive power of a set of schemes. Although expressive po…