summaryrefslogtreecommitdiff
path: root/isolation.mdwn
diff options
context:
space:
mode:
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