Changes between Version 2 and Version 3 of BotnetExample

Timestamp:

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

Author:

sunshine

Comment:

--

BotnetExample

@@ -5 +5 @@
 == Example 1: Botnet ==
 
-This example used two metadescriptions. Let's go through each of them:
+This example used two metadescriptions. Let's go through each of them. This example is written in [CurrentlyProposedLanguage].
 
 === Worm spread metadescription ===
@@ -11 +11 @@
 Dimensions:
  * '''Logical topology:''' 
+Objects:
 
-   [[Image(wormobj.jpg)]]
+  VNode extends Node
+
+  VNode := {state = Vulnerable, Vulnerability vulnerability = x}
+
+  INode := VNode {state = Infected}
+
+Cardinality:
+
+  |INode|,,>=1,,
+
+  |VNode|,,>=1,,
+
+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.)