Joe Stubbs, Smruti Padhy, Richard Cardone, Steve Black. CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies. In Kevin Daimi, Abeer Alsadoon, editors, Proceedings of the Second International Conference on Advances in Computing Research, ACR 2024, Madrid, Spain, June 3-5, 2024. Volume 956 of Lecture Notes in Networks and Systems, pages 268-279, Springer, 2024. [doi]
Abstract is missing.