Changes between Version 7 and Version 8 of Capabilities


Ignore:
Timestamp:
2010-07-01T02:36:36Z (11 years ago)
Author:
davidsarah
Comment:

order of headings in derivation table

Legend:

Unmodified
Added
Removed
Modified
  • Capabilities

    v7 v8  
    3131derive #2 (but not the other way around). The full table is:
    3232
    33   verify  write  read
    34   -------------------
    35             #1 ->  #2
    36      #4 ->  #5 ->  #6
    37             #7 ->  #8
    38     #10 -> #11 -> #12
     33  write   read  verify
     34  --------------------
     35           #1 ->  #2
     36    #4 ->  #5 ->  #6
     37           #7 ->  #8
     38   #10 -> #11 -> #12
    3939
    4040Deriving a weaker capability from a strong one is called "diminishing" the stronger one.