Authorization for LLM Tool Schemas: Formal Model with Noninterference Guarantees [pdf](raw.githubusercontent.com)

https://raw.githubusercontent.com/AndyGauge/andygauge.github.io/master/publication/noninterference%20guarantee.pdf