PolicySummarizer generates a simplified, human-readable regular expression for the requests a cloud access-control policy allows, and uses automata-based model counting to check the simplification against the exact policy language before returning it.
Dougherty, Kathi Fisler, and Shriram Krishnamurthi
1 Pith paper cite this work, alongside 127 external citations. Polarity classification is still indexing.
1
Pith paper citing it
127
external citations · OpenAlex
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Neurosymbolic Characterization for Reliable Access Control Policy Analysis
PolicySummarizer generates a simplified, human-readable regular expression for the requests a cloud access-control policy allows, and uses automata-based model counting to check the simplification against the exact policy language before returning it.