Protection in programming languages
James H. Morris · Communications of the ACM · 1973
Linguistic mechanisms which can be used to protect one subprogram from another's malfunctioning are described.Function-producing functions and various type-tagging schemes are considered.An attempt is made to distinguish between access limitation and authentication.