derivation table format

[Imported from Trac: page Capabilities, version 7]
davidsarah 2010-07-01 02:34:20 +00:00
parent 2f8e84e771
commit a60ffd190e

@ -30,10 +30,12 @@ uploaded into immutable files by default.
Some capabilities can be used to derive others. If you have #1, you can Some capabilities can be used to derive others. If you have #1, you can
derive #2 (but not the other way around). The full table is: derive #2 (but not the other way around). The full table is:
verify write read
-------------------
#1 -> #2 #1 -> #2
#4 -> #5 -> #6 #4 -> #5 -> #6
#7 -> #8 #7 -> #8
#10-> #11-> #12 #10 -> #11 -> #12
Deriving a weaker capability from a strong one is called "diminishing" the stronger one. Deriving a weaker capability from a strong one is called "diminishing" the stronger one.