diff options
Diffstat (limited to 'isolation.mdwn')
| -rw-r--r-- | isolation.mdwn | 10 |
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 |