CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies
Book chapter (March 2024)
The most recent citing publications are shown below. View all 122 publications that cite this research output on Dimensions.
Book chapter (March 2024)
Preprint in arXiv (March 2024)
Preprint in arXiv (March 2024)