CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies.

Joe Stubbs Smruti Padhy Richard Cardone Steve Black

Published in: ACR (2024)

Keyphrases

automated reasoning
security policies
access control
knowledge representation
theorem prover
pairwise
cloud computing
network security
neural network
machine learning
artificial intelligence
expert systems