Are there existing tools that model security stuff like this? For a few years I've wanted to build a model like this and search for vulnerabilities using something like GOAP (Goal-Oriented Action Planning)