Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations | IEEE Conference Publication | IEEE Xplore