diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-30 17:27:56 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2007-08-30 17:35:51 +0200 |
| commit | d4e746813a849a1bb3bfe77e00f1b82943746397 (patch) | |
| tree | cad09a36c7dbdacc9bda6327fe2456563f3ad3a2 /isolation.mdwn | |
| parent | 78b0c662110770b7b604d7a2b2250951866e8a57 (diff) | |
Copyright is assigned to the FSF.
Diffstat (limited to 'isolation.mdwn')
| -rw-r--r-- | isolation.mdwn | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/isolation.mdwn b/isolation.mdwn index bdb15a41..67e2f61f 100644 --- a/isolation.mdwn +++ b/isolation.mdwn @@ -1,3 +1,20 @@ +[[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 @@ -7,4 +24,4 @@ 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 +information-flow (security) and performance. |