Access Control in Parallel Programs | IEEE Journals & Magazine | IEEE Xplore

Access Control in Parallel Programs


Abstract:

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 f...Show More

Abstract:

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.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-5, Issue: 1, January 1979)
Page(s): 1 - 9
Date of Publication: 31 January 1979

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.