Issue No.01 - January (1979 vol.5)
J.R. McGraw , Department of Applied Science, University of California
An important component of a programming language for writing operating systems, or other large parallel systems, is the set of access control facilities. Two principles for access control, expressive power and access validation, are discussed. Then two new language mechanisms are presented: one for expressing the static structure and access rights of parallel systems, the other for controlling dynamic access to shared objects (monitors). The use of the proposed mechanisms is illustrated by examples including a file system. Finally, the relationships between the mechanisms, access validation, and the safety problem are discussed.
security, Access control, access safety, monitors, processes, programming language, protection
J.R. McGraw, G.R. Andrews, "Access Control in Parallel Programs", IEEE Transactions on Software Engineering, vol.5, no. 1, pp. 1-9, January 1979, doi:10.1109/TSE.1979.234148