1. A tangible computer readable storage medium storing a computer program that when executed by one or more processors, causes the one or more processors to perform the steps of: a) inputting a dependency graph for a network that maps interdependencies among a multitude of exploits with respect to a multitude of conditions on a multitude of processing machines in said “network,” at least one of said “multitude of exploits” including at least one precondition mapped to at least one postcondition, said “multitude of conditions” including at least one of said “at least one precondition” and at least one of said “at least one postcondition”; b) generating at least one condition set, each of said “at least one condition set” associated to one of said “multitude of exploits” by: c) aggregating at least two of said “multitude of conditions” that have preconditions mapped to the same at least one of said “multitude of exploits”; and d) aggregating at least two of said “multitude of conditions” that have postconditions mapped from the same at least one of said “multitude of exploits”; e) generating an exploit set by aggregating at least one of said “multitude of exploits” that all have at least one of said “at least one precondition” mapped from a common one of said “multitude of processing machines” and have at least one of said “at least one postcondition” mapped to a common one of said “multitude of processing machines”; f) generating at least one exploit-condition set, each of said “at least one exploit-condition set” generated by aggregating at least one of said “at least one condition set” that is associated to said “exploit set”; and g) generating at least one machine set, each of said “at least one machine set” generated by aggregating at least one of said “at least one condition set” that is associated to at least one of said “multitude of processing machines”.