Affiliation:
1. Amdahl Corporation
2. The University of Texas at Austin
Abstract
The concept of “protection” in programming languages refers to the ability to express directly in the language the desired access control relationships for all objects defined in the language. The use of such mechanisms as
data types, scope, parameter passing
mechanisms,
routines as parameters, abstract data types,
and
capabilities
in Pascal, Concurrent Pascal, Euclid, Clu, and Gypsy are explored via a simple example which embodies many protection problems. The usefulness of language defined and enforced protection mechanisms to the process of formal verification is discussed.
Publisher
Association for Computing Machinery (ACM)