aboutsummaryrefslogtreecommitdiff
path: root/trust.mdwn
diff options
context:
space:
mode:
Diffstat (limited to 'trust.mdwn')
-rw-r--r--trust.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/trust.mdwn b/trust.mdwn
index 46c762f0..f0d29a9c 100644
--- a/trust.mdwn
+++ b/trust.mdwn
@@ -18,7 +18,7 @@ user.
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
+the user trusts that the ssh binary respects this intent. In [[Unix]], a program's
[[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