summaryrefslogtreecommitdiff
path: root/isolation.mdwn
blob: 67e2f61fe075c508f37ed1eb96c831ae8c97d997 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
[[license text="""
Copyright © 2007 Free Software Foundation, Inc.

Permission is granted to copy, distribute and/or modify this document under the
terms of the GNU Free Documentation License, Version 1.2 or any later version
published by the Free Software Foundation; with no Invariant Sections, no
Front-Cover Texts, and no Back-Cover Texts.  A copy of the license is included
in the section entitled [[GNU_Free_Documentation_License|/fdl.txt]].

By contributing to this page, you agree to assign copyright for your
contribution to the Free Software Foundation.  The Free Software Foundation
promises to always use either a verbatim copying license or a free
documentation license when publishing your contribution.  We grant you back all
your rights under copyright, including the rights to copy, modify, and
redistribute your contributions.
"""]]

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.