Automatic discovery of attack messages and pre- and post-conditions for attack graph generation

Authors

Marco Carvalho, Choh Man Teng,