Changes between Version 3 and Version 4 of BotnetExample

Timestamp:

Nov 4, 2010 4:36:04 PM (14 years ago)

Author:

sunshine

Comment:

--

BotnetExample

@@ -11 +11 @@
 Dimensions:
  * '''Logical topology:''' 
-Objects:
+  Objects:
 
-  VNode extends Node
+    VNode extends Node
 
-  VNode := {state = Vulnerable, Vulnerability vulnerability = x}
+    VNode := {state = Vulnerable, Vulnerability vulnerability = x}
 
-  INode := VNode {state = Infected}
+    INode := VNode {state = Infected}
 
-Cardinality:
+  Cardinality:
 
-  |INode|,,>=1,,
+    |INode|,,>=1,,
+ 
+    |VNode|,,>=1,,
 
-  |VNode|,,>=1,,
-
-Relationships:
+  Relationships:
 
    (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.)