Changes between Version 12 and Version 13 of BotnetExample

Timestamp:

Nov 5, 2010 4:00:22 PM (13 years ago)

Author:

sunshine

Comment:

--

BotnetExample

@@ -9 +9 @@
 === Worm spread metadescription ===
 
+'''define Worm:'''
 
- * '''Logical topology:''' 
+ '''Logical topology:''' 
   
   '''Objects:'''
@@ -29 +30 @@
 
    
- * '''Timeline of events: '''
+ '''Timeline of events: '''
 
    '''Definitions:'''
@@ -44 +45 @@
 
 
- * '''Invariants:''' No additional ones are needed here.
+ '''Invariants:''' No additional ones are needed here.
 
 === P2P w leader and C&C traffic metadescription ===
 
-* '''Logical topology:''' 
+'''define P2P:'''
+
+ '''Logical topology:''' 
 
   '''Objects:'''
@@ -69 +72 @@
 
 
- * '''Timeline of events: '''
+ '''Timeline of events: '''
 
   '''Definitions:'''
+ 
     PEERREQUEST extends REQUEST
 
@@ -103 +107 @@
 
 
- * '''Invariants:''' No additional ones are needed here.
+ '''Invariants:''' No additional ones are needed here.
 
 === Experiment design ===
@@ -109 +113 @@
 Now I'm a user who wants to design my experiment. I need to combine two metadescriptions and somehow tie them down to generator choices. To combine I need to specify how outputs of worm metadescription match inputs of P2P metadescription. I'll do something like this:
 
-  Worm w, P2P p2p
+ '''define Botnet: import Worm w, P2P p2p'''
  
-    p2p.Peer := w.Infected
+ '''Logical topology:''' 
 
-    w | | p2p
+  
+  '''Objects:'''
+
+    each p2p.Peer p and each w.Infected i
+
+        p := i
+
+  '''Cardinality:'''
+
+  '''Relationships:'''
+   
+ '''Timeline of events: '''
+
+   '''Definitions:'''     
+
+   '''Timeline:'''
+  
+     timeline(w) | | timeline(p2p)
+     
+
+ '''Invariants:''' No additional ones are needed here.
+    
+