There are some words below in the seL4 manual. that seL4 maintains a capability derivation tree (CDT) in which it tracks the relationship between these copied capabilities and the originals As the ...

Abstract: In order to analyze the trustworthiness of complex software systems, we propose a model of evidence-based software trustworthiness called trustworthiness derivation tree (TDT). The basic ...

secret-tree allows deriving multiple secrets from a single seed value in a secure and forward-compatible way. The derivation procedure is hierarchical: a seed can be used to derive child seeds, which ...