Alireza Sharifi, Paul Bottinelli, Mahesh V. Tripunitara. Property-testing real-world authorization systems. In Mauro Conti, Jaideep Vaidya, Andreas Schaad, editors, 18th ACM Symposium on Access Control Models and Technologies, SACMAT '13, Amsterdam, The Netherlands, June 12-14, 2013. pages 225-236, ACM, 2013. [doi]
Abstract is missing.