System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
Time Sharing Computer Systems
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Computers, security, and the audit function
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Verifiable secure operating system software
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
| Hi-index | 0.00 |
The complexity of necessary administrative controls for computer service exceeds the capabilities of clerical methods. This paper presents a practical method for describing the external administrative environment in a data base which can be used by the operating system for dynamic enforcement of limits. An attempt is made to address consistently the different formosf data processing that may be concurrent in a single installation; included are general purpose time sharing, transaction oriented computing, and scientific computing. Described is the architecture of an operating system component that could be regarded as the interface between administrative security mechanisms and the security features of the system software. Running prototypes exist. The long-range intention is to streamline such computer facility management functions acso ntrolling access to specific services, processing power, and storage space; controlling access to the system data base; and gathering statistics needed for planning. Convenience to users is not degraded by the security mechanisms, but in fact is enhanced.