Skip to main content

Technical Reports: CMU-CyLab-06-015

Title:Efficient Proving for Practical Distributed Access-Control Systems (update)
Authors:Lujo Bauer, Scott Garriss, Michael K. Reiter
Publication Date:August 3, 2007


We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is tailored to settings where credentials needed to complete a proof might need to be obtained from, or reactively created by, distant components in a distributed system. In such contexts, our approach substantially improves upon previous proposals in both computation and communication costs, and better guides users to create the most appropriate credentials in those cases where needed credentials do not yet exist. At the same time, our strategy offers strictly superior proving ability, in the sense that it finds a proof in every case that previous approacheswould (and more). We detail our method and evaluate an implementation of it using both policies in active use in an access-control testbed at our institution and larger policies indicative of a widespread deployment.

Full Report: CMU-CyLab-06-015