Changes between Version 6 and Version 7 of MitmExample

Timestamp:

Nov 5, 2010 4:43:00 PM (14 years ago)

Author:

sunshine

Comment:

--

MitmExample

@@ -19 +19 @@
     '''Objects:'''
   
-      IP extends IPAddress
+      IP := cp.Name, IP extends IPAddress
 
       fakePA := cp.fakeResource, fakePA extends MACAddress
@@ -26 +26 @@
 
     '''Cardinality:'''
-
-
-      |IP|,,1,,
 
     '''Relationships:'''
@@ -38 +35 @@
     Attacker a, IP ip, fakePA fpa, Cache c
 
-      e1 := {type = ARPREPLY, origin = a, destination = c, content = (ip = fpa)}
+      e1 := cp.e1, e1 := {type = ARPREPLY, origin = a, destination = c, content = (ip = fpa)}
 
-      s1 := {c.records += (ip = fpa)}
+      s1 := cp.s1
 
   '''Timeline:'''
 
-      e1 -> s1
+      timeline(cp)
  
-
-
  '''Invariants:''' Nothing in addition to the topology and timeline above.