Concurrency Strategies for Attack Graph Generation. - Li, Ming; Hawrylak, Peter J.; Hale, John (2019)