Changes between Version 6 and Version 7 of BotnetExample


Ignore:
Timestamp:
Nov 4, 2010 4:37:17 PM (14 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • BotnetExample

    v6 v7  
    1212 * '''Logical topology:'''
    1313 
    14   Objects:
     14  '''Objects:'''
    1515
    1616    VNode extends Node
    … …  
    2020    INode := VNode {state = Infected}
    2121
    22   Cardinality:
     22  '''Cardinality:'''
    2323
    2424    |INode|,,>=1,,
    … …  
    2626    |VNode|,,>=1,,
    2727
    28   Relationships:
     28  '''Relationships:'''
    2929
    3030   (in English: There must be two sets of hosts, at least one infected host in infected set and at least one vulnerable host in vulnerable set. These sets are disjoint. All objects here are of type Nodes.)