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

David A. Naumann

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 fr…