Zonghua Zhang, Farid Naït-Abdesselam, Pin-Han Ho: Boosting Markov Reward Models for Probabilistic Security Evaluation by Characterizing Behaviors of Attacker and Defender. ARES 2008: 352-359