Coverage Types for Resource-Based Policies. - Angelo Passarelli; Gianluigi Ferraris (CoRR, 2025)