A Framework for Computational Strategic Analysis with an Application to iterated Interdependent Security Games.