Changes between Version 2 and Version 3 of MitmExample

Timestamp:

Nov 4, 2010 5:32:49 PM (14 years ago)

Author:

sunshine

Comment:

--

MitmExample

@@ -58 +58 @@
 
 
- * '''Invariants:''' 
-
-   Nothing in addition to the topology and timeline above.
+ * '''Invariants:''' Nothing in addition to the topology and timeline above.
 
 === MITM attack metadescription ===
 
-Dimensions:
  * '''Logical topology:''' 
-   [[Image(mitmobj.jpg)]]
 
-   (in English: There is one attacker node, and two regular nodes who want to communicate. These are all different nodes.)
+    '''Objects:'''
+
+      Attacker, Node1, Node2 extends Node
+
+    '''Cardinality:'''
+
+      |Attacker|,,1,,
+  
+      |Node1|,,1,,
+
+      |Node2|,,1,,
+
+    '''Relationships:'''
 
 
  * '''Timeline of events: '''
 
-  [[Image(mitmwf.jpg, 70%)]]
+  '''Definitions:''
 
-   (in English: Attacker replaces each msg between nodes with some modification.)
+    Attacker a, Node1 n1, Node2 n2
 
- * '''Invariants:''' 
+      e1 := {type = MSG, origin = n1, destination = a, content = x}
 
-   Nothing in addition to the topology and timeline above.
+      e2 := {type = MSG, origin = a, destination = n2, content = modify(x)}
+
+      e3 := {type = MSG, origin = n2, destination = a, content = y}
+
+      e4 := {type = MSG, origin = a, destination = n1, content = modify(y)}
+
+  '''Timeline:'''
+
+      e1 -> e2 and e3 -> e4 
+
+ * '''Invariants:'''    Nothing in addition to the topology and timeline above.
 
 === Experiment design ===
@@ -85 +103 @@
 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:
 
-   [[Image(arpmitmcomb.jpg)]]
+  ARPPoisoning arp1, ARPPoisoning arp2, MITMAttack mitm
 
-i.e. the ARP experiment needs to be run twice to generate the mappings at node1 and node2 necessary for the attacker to appear on the path from node1 to node2. The cache we're poisoning is at node1 and node2. Poison links the IP address of node2 and node1 respectively with the attacker's ARP address.
+    arp1.FakePA = mac(mitm.Attacker)
 
-The system now needs to offer me several generators:
+    arp1.IP = ip(mitm.Node2)
 
- * It should offer a topology generator and map the nodes (Node1, Node2, Attacker) to the topology that gets generated. Caches have to reside at Node1 and Node2. 
- * It should offer event generator for each of the events: reply (for ARP), and mod(for message). 
+    collocated(arp1.Cache, mitm.Node1)  
+
+    arp2.fakePA = mac(mitm.Attacker)
+
+    arp2.IP = ip(mitm.Node1)
+
+    collocated(arp2.Cache, mitm.Node2)  
+
+    (arp1 and arp2) -> mitm
+