Searching for the Optimal Proof Schedule in a Proof-Carrying Survivability Paradigm - A Dynamic, Interactive Approach. - Yanjun Zuo; John Babin (ITNG, 2012)