From d954eef46e5944130292a2617350228647202434 Mon Sep 17 00:00:00 2001 From: GNU Hurd wiki engine Date: Sun, 19 Aug 2007 16:05:22 +0000 Subject: web commit by NealWalfield: Create. --- isolation.mdwn | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 isolation.mdwn (limited to 'isolation.mdwn') 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 -- cgit v1.2.3