Open AccessBook
Capability-Based Computer Systems
About:
The article was published on 1984-01-01 and is currently open access. It has received 509 citations till now. The article focuses on the topics: Computer network programming & Software system.read more
Citations
More filters
Book ChapterDOI
High Assurance Software Lessons and Techniques
Ted Huffmire,Cynthia E. Irvine,Thuy D. Nguyen,Timothy E. Levin,Ryan Kastner,Timothy Sherwood +5 more
TL;DR: This chapter presents lessons learned from the development of high assurance systems, including risk assessment, threat models, policy enforcement, lifecycle management, assessment criteria, configuration control, and development environments.
Book ChapterDOI
A New Architecture Design Paradigm for Parallel Computing in Scheme
Carl Bruggeman,R. Kent Dybvig +1 more
TL;DR: A new architecture design paradigm is described that radically reassigns various system responsibilities among the compiler, operating system, and architecture in order to simplify the design and increase the performance of parallel computing systems.
Book ChapterDOI
Digital Right and the Ethics of Digitisation: A Case Study in Technology and Implicit Contracts
TL;DR: For instance, the authors of as discussed by the authors argue that the benefits of literacy were restricted to a small elite: every pre-printing-press civilisation boasted only a small percentage of adult literacy.
Support for parallel programming
TL;DR: This paper discusses rationale for standardizing language support for parallel programming, and develops a set of constructs that have as the basis both semantic model of parallel processes discussed in section 3 and parallel libraries provided by the actual multiprocessor machines to support parallel programming.
Memory Segmentation to Support Secure Applications
TL;DR: This paper argues that by implementing a capability model, it is possible to safely support creation, distribution and use of segments purely in user space and presents a working prototype of such a system implemented.