Merkliste 
 1 Ergebnisse 
 
1

AQUA : An Efficient Solver for the User Authorization Qu..:

, In: Proceedings of the 25th ACM Symposium on Access Control Models and Technologies,