Changes between Version 8 and Version 9 of CachePoisonExample

Timestamp:

Nov 4, 2010 5:24:34 PM (14 years ago)

Author:

sunshine

Comment:

--

CachePoisonExample

@@ -142 +142 @@
  * '''Logical topology:''' 
 
-  ''Objects:''
+  '''Objects:'''
 
       User extends Human
@@ -152 +152 @@
       Public, Confidential extends String
 
-  ''Cardinality:''
+  '''Cardinality:'''
 
     |User|,,1,,
@@ -164 +164 @@
     |Confidential|,,1,,
 
-  ''Relationships:''
+  '''Relationships:'''
 
     collocated(Page, Server)
@@ -170 +170 @@
  * '''Timeline of events: '''
 
-  ''Definitions:''
+  '''Definitions:'''
 
     User u, Server s, Public p, Confidential c, Page wp
@@ -182 +182 @@
       e4 := {type = WEBREPLY, origin = s, destination = u, content = wp}
 
-  ''Timeline:''
+  '''Timeline:'''
 
       e1 -> e2 -> e3 -> if (x == p and y == c) then e4