Changes between Version 11 and Version 12 of BotnetExample


Ignore:
Timestamp:
Nov 5, 2010 1:42:26 PM (13 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • BotnetExample

    v11 v12  
    7272
    7373  '''Definitions:'''
     74    PEERREQUEST extends REQUEST
     75
     76    PEERREPLY extends REPLY
    7477
    7578    each Peer peer1, some Peer peer2:
    7679 
    77       e1 := {type = WANNAPEER, origin = peer1, destination = peer2}
     80      e1 := {type = PEERREQUEST, origin = peer1, destination = peer2}
    7881
    79       e2 := {type = YESPEER, origin = peer2, destination = peer1}
     82      e2 := {type = PEERREPLY, origin = peer2, destination = peer1}
    8083
    8184      s1 := {peer2.peers += peer1}
     
    97100  '''Timeline:'''
    98101
    99       e1 -> [s1 and e2 -> s2] | | e3 -> s3 -> e4 -> e5 -> [e6]
     102      e1 -> [s1 and (e2 | matches(e2,e1)) -> s2] | | e3 -> s3 -> e4 -> e5 -> [e6]
    100103
    101104