Disk cache—miss ratio analysis and design considerations
ACM Transactions on Computer Systems (TOCS)
A Butler process for resource sharing on Spice machines
ACM Transactions on Information Systems (TOIS)
The design and building of Enchère, a distributed electronic marketing system
Communications of the ACM
4.2BSD and 4.3BSD as examples of the UNIX system
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Communications of the ACM
The microarchitecture of a capability-based computer
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems
Models of software development environments
ICSE '88 Proceedings of the 10th international conference on Software engineering
Improving the efficiency of UNIX buffer caches
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Design of the Mneme persistent object store
ACM Transactions on Information Systems (TOIS)
Models of Software Development Environments
IEEE Transactions on Software Engineering
On building systems that will fail
Communications of the ACM - Special issue on LISP
The muse object architecture: a new operating system structuring concept
ACM SIGOPS Operating Systems Review
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Tradeoffs in supporting two page sizes
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
HOPL-II The second ACM SIGPLAN conference on History of programming languages
The development of the C language
HOPL-II The second ACM SIGPLAN conference on History of programming languages
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Persistent shared object support in the Guide system: evaluation & related work
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Surpassing the TLB performance of superpages with less operating system support
ASPLOS VI Proceedings of the sixth international conference on Architectural support for programming languages and operating systems
Using naming strategies to make massively parallel systems work
Scientific Programming - Special issue on operating system support for massively parallel computer architectures
The integration of virtual memory management and interprocess communication in Accent
ACM Transactions on Computer Systems (TOCS)
Exploring issues of operating systems structuring: from microkernel to extensible systems
ACM SIGOPS Operating Systems Review
A new page table for 64-bit address spaces
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
The security of static typing with dynamic linking
Proceedings of the 4th ACM conference on Computer and communications security
Secure databases: protection against user influence
ACM Transactions on Database Systems (TODS)
The file system of an integrated local network
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Space saving key-lock access control system (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Formal Models for Computer Security
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Low contention semaphores and ready lists
Communications of the ACM
Dynamic response time prediction for computer networks
Communications of the ACM
Hardware estimation of a process' primary memory requirements
Communications of the ACM
The programmer's workbench—a machine for software development
Communications of the ACM
A lattice model of secure information flow
Communications of the ACM
Protection and the control of information sharing in multics
Communications of the ACM
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
Useful and necessary features in a general interprocess communication facility
ACM-SE 17 Proceedings of the 17th annual Southeast regional conference
Fragmented and replicated objects in the GOTHIC distributed system
EW 3 Proceedings of the 3rd workshop on ACM SIGOPS European workshop: Autonomy or interdependence in distributed systems?
Hidden capabilities: towards a flexible protection utility for the internet
EW 7 Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications
System support for shared objects
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Rebirth of the computer industry
Communications of the ACM - Adaptive middleware
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
FLASH: a language-independent, portable file access system
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
The Rise and Fall of the General Electric Corporation Computer Department
IEEE Annals of the History of Computing
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Process exchange on the PR1ME family of computers
ACM SIGARCH Computer Architecture News
The invention of concurrent programming
The origin of concurrent programming
Verified formal security models for multiapplicative smart cards
Journal of Computer Security - Special issue on ESORICS 2000
A heterogeneous multiprocessor design and the distributed scheduling of its task group workload
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Architectural implications of abstract data type implementation
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
Hardware support for concurrent programming in loosely coupled multiprocessors
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
The Lattice Security Model In A Public Computing Network
ACM '78 Proceedings of the 1978 annual conference
Dynamic linking and environment initialization in a multi-domain process.
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
A multi-microprocessor computer system architecture
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
A comment on the confinement problem
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
The enforcement of security policies for computation
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Measurements of sharing in Multics
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Reflections on the verification of the security of an operating system kernel
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
UIDs as internal names in a distributed file system
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
An optimizing compiler for lexically scoped LISP
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
An experimental implementation of the kernel/domain architecture
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Proceedings of an ACM conference on Language design for reliable software
On attaining reliable software for a secure operating system
Proceedings of the international conference on Reliable software
Structured specification of a Security Kernel
Proceedings of the international conference on Reliable software
A new approach to construction of computer systems
ACM '75 Proceedings of the 1975 annual conference
An integral approach to user assistance
CHI '81 Proceedings of the Joint Conference on Easier and More Productive Use of Computer Systems. (Part - II): Human Interface and the User Interface - Volume 1981
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
A method for implementing paged, segmented virtual memories on microprogrammable computers
ACM SIGOPS Operating Systems Review
Using type-extension to organize virtual-memory mechanisms
ACM SIGOPS Operating Systems Review
Virtual memory transaction management
ACM SIGOPS Operating Systems Review
A State-Transition Model of Trust Management and Access Control
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Exception handling design issues
ACM SIGPLAN Notices - Special issue on programming language design
The effective management of paging storage hierarchies
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
40 years later .... a new engine to handle an operating system infrastructure
ACM SIGARCH Computer Architecture News
History of programming languages---II
The development of the C programming language
History of programming languages---II
Position: "insider" is relative
NSPW '05 Proceedings of the 2005 workshop on New security paradigms
Lightweight thread tunnelling in network applications
Computer Networks: The International Journal of Computer and Telecommunications Networking - Active networks
The iAPX 286 protection architecture
ACM SIGSMALL Newsletter
The flask security architecture: system support for diverse security policies
SSYM'99 Proceedings of the 8th conference on USENIX Security Symposium - Volume 8
TRON: process-specific file protection for the UNIX operating system
TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
Unix file access and caching in a multicomputer environment
MSYM'93 Proceedings of the 3rd conference on USENIX MACH III Symposium - Volume 1
Protected shared libraries: a new approach to modularity and sharing
ATEC '97 Proceedings of the annual conference on USENIX Annual Technical Conference
A computer architecture for large (distributed) data bases
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Reflections on software research
ACM Turing award lectures
On building systems that will fail
ACM Turing award lectures
Design and implementation of an object-orientated 64-bit single address space microkernel
moas'93 USENIX Symposium on USENIX Microkernels and Other Kernel Architectures Symposium - Volume 4
Experience with shared object support in the GUIDE system
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Derivation and Calibration of a Transient Error Reliability Model
IEEE Transactions on Computers
A Computer Architecture for Level Structured Systems
IEEE Transactions on Computers
On the Paging Performance of Array Algorithms
IEEE Transactions on Computers
Design of a high level language machine
ACM SIGARCH Computer Architecture News
Quasistatic shared libraries and XIP for memory footprint reduction in MMU-less embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Multics: the first seven years
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Debugging PL/I programs in the multics environment
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Security in Distributed Applications
Advances in Software Engineering
JSYS traps: a TENEX mechanism for encapsulation of user processes
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Hierarchical approach to computer system integrity
IBM Systems Journal
Characterization of program paging in a time-sharing environment
IBM Journal of Research and Development
Towards multilaterally secure computing platforms-with open source and trusted computing
Information Security Tech. Report
Laissez-faire file sharing: access control designed for individuals at the endpoints
NSPW '09 Proceedings of the 2009 workshop on New security paradigms workshop
Communications of the ACM
A compositional multiple policies operating system security model
WISA'07 Proceedings of the 8th international conference on Information security applications
On the evolution of adversary models in security protocols: or know your friend and foe alike
Proceedings of the 13th international conference on Security protocols
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Hi-index | 0.18 |
This volume provides an overview of the Multics system developed at M.I.T.--a time-shared, general purpose utility like system with third-generation software. The advantage that this new system has over its predecessors lies in its expanded capacity to manipulate and file information on several levels and to police and control access to data in its various files. On the invitation of M.I.T.'s Project MAC, Elliott Organick developed over a period of years an explanation of the workings, concepts, and mechanisms of the Multics system. This book is a result of that effort, and is approved by the Computer Systems Research Group of Project MAC. In keeping with his reputation as a writer able to explain technical ideas in the computer field clearly and precisely, the author develops an exceptionally lucid description of the Multics system, particularly in the area of "how it works." His stated purpose is to serve the expected needs of designers, and to help them "to gain confidence that they are really able to exploit the system fully, as they design increasingly larger programs and subsystems." The chapter sequence was planned to build an understanding of increasingly larger entities. From segments and the addressing of segments, the discussion extends to ways in which procedure segments may link dynamically to one another and to data segments. Subsequent chapters are devoted to how Multics provides for the solution of problems, the file system organization and services, and the segment management functions of the Multics file system and how the user may employ these facilities to advantage. Ultimately, the author builds a picture of the life of a process in coexistence with other processes, and suggests ways to model or construct subsystems that are far more complex than could be implemented using predecessor computer facilities. This volume is intended for the moderately well informed computer user accustomed to predecessor systems and familiar with some of the Multics overview literature. While not intended as a definitive work on this living, ever-changing system, the book nevertheless reflects Multics as it has been first implemented, and should reveal its flavor, structure and power for some time to come.