Changes between Version 7 and Version 8 of BotnetExample

Timestamp:

Nov 4, 2010 4:51:42 PM (13 years ago)

Author:

sunshine

Comment:

--

BotnetExample

@@ -9 +9 @@
 === Worm spread metadescription ===
 
-Dimensions:
+
  * '''Logical topology:''' 
   
@@ -28 +28 @@
   '''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.)
-
+   
  * '''Timeline of events: '''
 
-   [[Image(wormwf.jpg, 30%)]]
+   Definitions:
+     
+     each Inode i, some VNode v:
+      
+       e1 := {type = SCAN, origin = i, destination = v, vulnerability = x }
 
-   (in English: Each infected host generates scan events that target a vulnerable host, scanning for vulnerability x. Once scan hits a vulnerable host with vulnerability x, an infection event occurs and vulnerable host becomes infected. 
+       s1 := {v.state = Infected}
 
-   Note that I haven't yet defined very well what scan event means. I have to do this somewhere but I think the right place for this would be a common repository of domain knowledge.
+   Timeline:
+  
+       e1 → if (e1.vulnerability == v.vulnerability) then s1
+
 
  * '''Invariants:''' There are some in definition of topology and timeline above. No additional ones are needed here.