| http://www.w3.org/ns/prov#value | - The method recited in claim 10 wherein the sections are a partition of original and infected hosts into contiguous regions and there are three types of sections, described by ##EQU9## and wherein sections of type H and HI cover an entire original host without any overlap, and sections of type I and HI cover an entire infected host without any overlap.
|