Boosting Markov Reward Models for Probabilistic Security Evaluation by Characterizing Behaviors of Attacker and Defender | IEEE Conference Publication | IEEE Xplore