%0 Journal Article %1 journals/tissec/BerlatoCLR22 %A Berlato, Stefano %A Carbone, Roberto %A Lee, Adam J. %A Ranise, Silvio %D 2022 %J ACM Trans. Priv. Secur. %K dblp %N 1 %P 2:1-2:37 %T Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud. %U http://dblp.uni-trier.de/db/journals/tissec/tissec25.html#BerlatoCLR22 %V 25

@article{journals/tissec/BerlatoCLR22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Berlato, Stefano and Carbone, Roberto and Lee, Adam J. and Ranise, Silvio}, biburl = {https://www.bibsonomy.org/bibtex/218e41e26a7f5858aff6c565ba53642ee/dblp}, ee = {https://www.wikidata.org/entity/Q114846476}, interhash = {9165f666e49feff030a77027846dcec3}, intrahash = {18e41e26a7f5858aff6c565ba53642ee}, journal = {ACM Trans. Priv. Secur.}, keywords = {dblp}, number = 1, pages = {2:1-2:37}, timestamp = {2024-05-13T07:06:18.000+0200}, title = {Formal Modelling and Automated Trade-off Analysis of Enforcement Architectures for Cryptographic Access Control in the Cloud.}, url = {http://dblp.uni-trier.de/db/journals/tissec/tissec25.html#BerlatoCLR22}, volume = 25, year = 2022 }