Changes between Version 3 and Version 4 of MitmExample

Timestamp:

Nov 5, 2010 3:54:25 PM (13 years ago)

Author:

sunshine

Comment:

--

MitmExample

@@ -13 +13 @@
   This is a special case of cache poisoning where the target is ARP cache.
 
- * '''Logical topology:''' 
+'''define ARPPoisoning: import cachePoisoning cp'''
+
+ '''Logical topology:''' 
 
     '''Objects:'''
-
-      Attacker extends Node
   
       IP extends IPAddress
 
-      fakePA extends MACAddress
+      fakePA := cp.fakeResource, fakePA extends MACAddress
 
-      Cache extends Object
-
-      Cache := {ARPRecord[] records}
+      Cache := cp.Cache, Cache := {ARPRecord[] records}
 
     '''Cardinality:'''
 
-      |Attacker|,,1,,
 
       |IP|,,1,,
 
-      |fakePA|,,1,,
+    '''Relationships:'''
 
-      |Cache|,,1,,
-
-    '''Relationships:'''
-      
-      not collocated(Cache, Attacker)
-
-
- * '''Timeline of events: '''
+ '''Timeline of events: '''
 
   '''Definitions:'''
@@ -58 +48 @@
 
 
- * '''Invariants:''' Nothing in addition to the topology and timeline above.
+ '''Invariants:''' Nothing in addition to the topology and timeline above.
 
 === MITM attack metadescription ===
 
- * '''Logical topology:''' 
+'''define MITM:'''
+
+ '''Logical topology:''' 
 
     '''Objects:'''
@@ -79 +71 @@
 
 
- * '''Timeline of events: '''
+ '''Timeline of events: '''
 
   '''Definitions:''
@@ -97 +89 @@
       e1 -> e2 and e3 -> e4 
 
- * '''Invariants:'''    Nothing in addition to the topology and timeline above.
+ '''Invariants:'''    Nothing in addition to the topology and timeline above.
 
 === Experiment design ===
@@ -103 +95 @@
 Now I'm a user who wants to design an experiment. I need to combine two metadescriptions (ARP poisoning and MITM attack) and somehow tie them down to generator choices. To combine I'll do something like this:
 
-  ARPPoisoning arp1, ARPPoisoning arp2, MITMAttack mitm
+'''define MITMwARP: import ARPPoisoning arp1, ARPPoisoning arp2, MITMAttack mitm'''
 
-    arp1.FakePA = mac(mitm.Attacker)
+''Logical topology:''' 
 
-    arp1.IP = ip(mitm.Node2)
+    '''Objects:'''
 
-    collocated(arp1.Cache, mitm.Node1)  
+      arp1.FakePA := mac(mitm.Attacker)
 
-    arp2.fakePA = mac(mitm.Attacker)
+      arp1.IP := ip(mitm.Node2)
 
-    arp2.IP = ip(mitm.Node1)
+      arp2.fakePA := mac(mitm.Attacker)
 
-    collocated(arp2.Cache, mitm.Node2)  
+      arp2.IP := ip(mitm.Node1)
 
-    (arp1 and arp2) -> mitm
+    '''Cardinality:'''
 
+    '''Relationships:'''
+
+      collocated(arp1.Cache, mitm.Node1)        
+
+      collocated(arp2.Cache, mitm.Node2)        
+ 
+ '''Timeline of events: '''
+
+  '''Definitions:''
+
+    (timeline(arp1) and timeline(arp2)) -> timeline(mitm)
+
+  '''Timeline:'''
+
+ '''Invariants:'''    Nothing in addition to the topology and timeline above.
+
+    
+  
+