Pith. sign in

Title resolution pending

Graham Hughes, Tevfik Bultan · 2008 · International Journal on Software Tools for Technology Transfer · DOI 10.1007/s10009-008-0087-9

1 Pith paper cite this work, alongside 103 external citations. Polarity classification is still indexing.

1 Pith paper citing it
103 external citations · OpenAlex
open at publisher browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

fields

cs.SE 1

years

2025 1

verdicts

CONDITIONAL 1

representative citing papers

Neurosymbolic Characterization for Reliable Access Control Policy Analysis

cs.SE · 2025-10-23 · conditional · novelty 6.0

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.

citing papers explorer

Showing 1 of 1 citing paper.

  • Neurosymbolic Characterization for Reliable Access Control Policy Analysis cs.SE · 2025-10-23 · conditional · none · ref 21

    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.