Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI.

arXiv:2608.00882v2 Announce Type: replace Abstract: Many high-level security requirements are about the allowed flow of information in programs and are difficult to make precise because they involve selective downgrading. Notions from epistemic logic have emer