summaryrefslogtreecommitdiff
path: root/isolation.mdwn
diff options
context:
space:
mode:
authorGNU Hurd wiki engine <web-hurd@gnu.org>2007-08-19 16:05:22 +0000
committerGNU Hurd wiki engine <web-hurd@gnu.org>2007-08-19 16:05:22 +0000
commitd954eef46e5944130292a2617350228647202434 (patch)
tree8cbd0af8a1f0d0318f8f4df4fe014aa6443b8a77 /isolation.mdwn
parent0154f813830ac790ad6f8134236de5bcf8cbff21 (diff)
web commit by NealWalfield: Create.
Diffstat (limited to 'isolation.mdwn')
-rw-r--r--isolation.mdwn10
1 files changed, 10 insertions, 0 deletions
diff --git a/isolation.mdwn b/isolation.mdwn
new file mode 100644
index 00000000..bdb15a41
--- /dev/null
+++ b/isolation.mdwn
@@ -0,0 +1,10 @@
+When two [[principal]]s cannot affect each other, they are said to
+be isolated from one another. Strictly speaking, if two principals
+are isolated from one another, there is no way for one to know
+whether the other exists: all interactions with the environment
+do not expose proof of the existence or non-existence of the
+other.
+
+Typically, principals are isolated from one another with
+respect to a particular property. Common properties include
+information-flow (security) and performance. \ No newline at end of file