Access Control in Parallel Programs
| dc.contributor.author | McGraw, James R. | en_US |
| dc.contributor.author | Andrews, Gregory R. | en_US |
| dc.date.accessioned | 2007-04-23T18:20:48Z | |
| dc.date.available | 2007-04-23T18:20:48Z | |
| dc.date.issued | 1978-01 | en_US |
| dc.description.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 message passing and file systems. Finally, the relationship between the mechanisms and access validation is discussed and a solution to the safety problem for the facilities is given. Key Words and Phrases: access control, programming language, protection, security, processes, monitors, access safety. CR Categories: 4.20, 4.32, 4.35 | en_US |
| dc.format.extent | 1413434 bytes | |
| dc.format.extent | 531751 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR78-328 | en_US |
| dc.identifier.uri | https://hdl.handle.net/1813/7449 | |
| dc.language.iso | en_US | en_US |
| dc.publisher | Cornell University | en_US |
| dc.subject | computer science | en_US |
| dc.subject | technical report | en_US |
| dc.title | Access Control in Parallel Programs | en_US |
| dc.type | technical report | en_US |