%0 Conference Paper %1 conf/acr/StubbsPCB24 %A Stubbs, Joe %A Padhy, Smruti %A Cardone, Richard %A Black, Steve %B ACR %D 2024 %E Daimi, Kevin %E Alsadoon, Abeer %I Springer %K dblp %P 268-279 %T CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies. %U http://dblp.uni-trier.de/db/conf/acr/acr2024.html#StubbsPCB24 %V 956 %@ 978-3-031-56950-0

@inproceedings{conf/acr/StubbsPCB24, added-at = {2024-07-26T00:00:00.000+0200}, author = {Stubbs, Joe and Padhy, Smruti and Cardone, Richard and Black, Steve}, biburl = {https://www.bibsonomy.org/bibtex/25acbc041f0ca4ed274b563235190b1a9/dblp}, booktitle = {ACR}, crossref = {conf/acr/2024}, editor = {Daimi, Kevin and Alsadoon, Abeer}, ee = {https://doi.org/10.1007/978-3-031-56950-0_23}, interhash = {226e8df5c0010356e0e6ace6c547c50a}, intrahash = {5acbc041f0ca4ed274b563235190b1a9}, isbn = {978-3-031-56950-0}, keywords = {dblp}, pages = {268-279}, publisher = {Springer}, series = {Lecture Notes in Networks and Systems}, timestamp = {2024-07-29T07:10:29.000+0200}, title = {CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies.}, url = {http://dblp.uni-trier.de/db/conf/acr/acr2024.html#StubbsPCB24}, volume = 956, year = 2024 }