Sign in

Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud.

Stefano BerlatoRoberto CarboneAdam J. LeeSilvio Ranise
Published in: ACM Trans. Priv. Secur. (2022)
Keyphrases