A Model-Driven Framework for Early Analysis of Kill Chain Attacks | IEEE Conference Publication | IEEE Xplore