As a first step toward the development of a technique to cope with Internet catastrophes, in this section we describe our system model for representing and reasoning about correlated failures, and discuss the granularity at which we represent software diversity.