https://joe-b-security.github.io/tags/formal-methods/Recent content in Formal Methods on Joe Bollen SecurityHugo -- gohugo.ioenYes, it's a real three-body problem simulationSun, 05 Apr 2026 00:00:00 +0000https://joe-b-security.github.io/posts/2026-04-05-datalog-for-agent-security-analysis/Sun, 05 Apr 2026 00:00:00 +0000https://joe-b-security.github.io/posts/2026-04-05-datalog-for-agent-security-analysis/<p>In an <a href="https://joe-b-security.github.io/posts/2026-02-28-agent-security-formal-methods/" target="_blank" >earlier post</a> I looked at whether formal methods apply to agent security and concluded that modeling the architecture as a graph and running declarative queries over it was a better fit than state-machine verification. That left the question of which formalism to actually use. After working with this in practice, what I have found is that Datalog is a surprisingly good fit.</p>