DMCA

Automated Analysis of Semantic-Aware Access Control Policies: a Logic-Based Approach

Cached

Download Links

by Ro Arm , Roberto Carbone , Silvio Ranise