Can I Reach You? Do I Need To? New Semantics in Security Policy Specification and Testing

Charalampos Katsis, Fabrizio Cicala, Dan Thomsen, Nathan Ringo, Elisa Bertino. Can I Reach You? Do I Need To? New Semantics in Security Policy Specification and Testing. In Jorge Lobo 0001, Roberto Di Pietro, Omar Chowdhury, Hongxin Hu, editors, SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, Virtual Event, Spain, June 16-18, 2021. pages 165-174, ACM, 2021. [doi]

Abstract

Abstract is missing.