Fascinating article! One of the most interesting details is that they create logical network graphs, then query them using Datalog to logically quantify threats

Fascinating article! One of the most interesting details is that they create logical network graphs, then query them using Datalog to logically quantify threats to each subsystem given access to a particular area. The example given in the article is querying all possible attack paths to all systems from the cafeteria WiFi network.