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

Browse the full SACMAT paper archive.