A new arXiv preprint (2610.24997) addresses the problem of auditing firewall logs against requirements that are mapped to controls and frameworks. The abstract identifies three constraints such audits must satisfy: overlapping obligations must be retained, uncertainty from missing attributes must be preserved, and distinct affected records must be counted.
The proposed solution is hierarchical rule auditing using exact ternary GPU correlation. Ternary logic introduces an explicit unknown state, which lets the audit represent missing attributes without forcing a false definite answer. The abstract mentions direct, bitmap, and relational strategies, though the excerpt cuts off before presenting results or comparisons.
Because only the abstract is available in the source, this digest is limited to the problem statement and proposed direction; no experimental outcomes are reported in the excerpt. With a single source, there are no conflicting accounts to reconcile.