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

Joe Stubbs Smruti Padhy Richard Cardone Steve Black

Published in: CoRR (2023)

Keyphrases

automated reasoning
security policies
knowledge representation
data model
cloud computing
theorem prover
search algorithm
data processing
software architecture
theorem proving
security requirements
access control systems