An empirical test of the accuracy of an attack graph analysis tool. (9th November 2015)