Skip to content
Search
paperAugust 2026Unreviewed

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

David A. Naumann

View resourcePDF

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 emerged as a good approach to policy semantics but a robust general framework remains elusive. A paper appearing in CSF 2018, entitled ``Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies'', attempted to provide a unifying framework---but the formalizat

Categories

Agentic Threats

Cite

@misc{naumann2026assuming,
  title = {{Assuming You Knew: Fixing an Epistemic Semantics for Flow Policies Using Agentic AI}},
  author = {David A. Naumann},
  year = {2026},
  month = aug,
  eprint = {2608.00882},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2608.00882}
}