Changes between Version 11 and Version 12 of BotnetExample

Timestamp:

Nov 5, 2010 1:42:26 PM (14 years ago)

Author:

sunshine

Comment:

--

BotnetExample

@@ -72 +72 @@
 
   '''Definitions:'''
+    PEERREQUEST extends REQUEST
+
+    PEERREPLY extends REPLY
 
     each Peer peer1, some Peer peer2: 
  
-      e1 := {type = WANNAPEER, origin = peer1, destination = peer2}
+      e1 := {type = PEERREQUEST, origin = peer1, destination = peer2}
 
-      e2 := {type = YESPEER, origin = peer2, destination = peer1}
+      e2 := {type = PEERREPLY, origin = peer2, destination = peer1}
 
       s1 := {peer2.peers += peer1}
@@ -97 +100 @@
   '''Timeline:'''
 
-      e1 -> [s1 and e2 -> s2] | | e3 -> s3 -> e4 -> e5 -> [e6]
+      e1 -> [s1 and (e2 | matches(e2,e1)) -> s2] | | e3 -> s3 -> e4 -> e5 -> [e6]