summaryrefslogtreecommitdiff
path: root/trust.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'trust.mdwn')
-rw-r--r--trust.mdwn4
1 files changed, 2 insertions, 2 deletions
diff --git a/trust.mdwn b/trust.mdwn
index fe2ca5f0..6d24eb1c 100644
--- a/trust.mdwn
+++ b/trust.mdwn
@@ -9,7 +9,7 @@ When we say that a program trusts another, we mean that [[correctness]] of the
former depends on the cooperation of the latter. For instance, when a user runs
ssh, the user's intention is that all communication is encrypted. In this case,
the user trusts that the ssh binary respects this intent. In Unix, a program's
-[[trusted computing base]] consists not only of the kernel (and all the drivers,
+[[tcb]] consists not only of the kernel (and all the drivers,
file systems and protocol stacks that it contains) but every program running
under the same UID; it is impossible to protect against
-[[destructive interference]] from programs running under the same UID.
+[[DestructiveInterference]] from programs running under the same UID.