Changes between Version 6 and Version 7 of MitmExample


Ignore:
Timestamp:
Nov 5, 2010 4:43:00 PM (12 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MitmExample

    v6 v7  
    1919    '''Objects:'''
    2020 
    21       IP extends IPAddress
     21      IP := cp.Name, IP extends IPAddress
    2222
    2323      fakePA := cp.fakeResource, fakePA extends MACAddress
     
    2626
    2727    '''Cardinality:'''
    28 
    29 
    30       |IP|,,1,,
    3128
    3229    '''Relationships:'''
     
    3835    Attacker a, IP ip, fakePA fpa, Cache c
    3936
    40       e1 := {type = ARPREPLY, origin = a, destination = c, content = (ip = fpa)}
     37      e1 := cp.e1, e1 := {type = ARPREPLY, origin = a, destination = c, content = (ip = fpa)}
    4138
    42       s1 := {c.records += (ip = fpa)}
     39      s1 := cp.s1
    4340
    4441  '''Timeline:'''
    4542
    46       e1 -> s1
     43      timeline(cp)
    4744 
    48 
    49 
    5045 '''Invariants:''' Nothing in addition to the topology and timeline above.
    5146