diff options
| author | GNU Hurd wiki engine <web-hurd@gnu.org> | 2007-08-19 16:05:22 +0000 |
|---|---|---|
| committer | GNU Hurd wiki engine <web-hurd@gnu.org> | 2007-08-19 16:05:22 +0000 |
| commit | d954eef46e5944130292a2617350228647202434 (patch) | |
| tree | 8cbd0af8a1f0d0318f8f4df4fe014aa6443b8a77 /isolation.mdwn | |
| parent | 0154f813830ac790ad6f8134236de5bcf8cbff21 (diff) | |
| download | web-d954eef46e5944130292a2617350228647202434.tar.gz web-d954eef46e5944130292a2617350228647202434.tar.bz2 web-d954eef46e5944130292a2617350228647202434.zip | |
web commit by NealWalfield: Create.
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 |