ProtectionInProgrammingLanguages
Last edit November 13, 2004
"Protection in Programming Languages" (at
http://www.erights.org/history/morris73.pdf
) explains how the
GedankenLanguage
-- an untyped descendent of Algol60 (
AlgolLanguage
) with true
SchemeLanguage
-like indefinite extent
LexicalClosure
s -- implements the
DennisAndVanHorn
security model, now known as the
ObjectCapabilityModel
.
This paper is the first statement of the
ObjectCapabilityModel
in a
ProgrammingLanguage
context, and remains one of the best. It's particularly strong on
RightsAmplification
mechanisms.
CategoryPaper
CategorySecurity
CategorySecurityModel