Toward an automated attack model for red teams | IEEE Journals & Magazine | IEEE Xplore