A dependency graph formalism for the dynamic defense of cyber networks | IEEE Conference Publication | IEEE Xplore