Computer Systems

A critical collection of edited-survey research papers spanning the entire range of Roger Needham's distinguished scientific career, from operating systems to distributed computing and security. Many of the world's leading researchers survey their topics' latest developments and acknowledge the theoretical foundations of Needham's work.

Includes supplementary material: sn.pub/extras

Texte du rabat

Computer Systems: Theory, Technology, and Applications

A Tribute to Roger Needham

Computer systems form the core of computing, as their combinations of hardware and software components function together to help program developers and end-users achieve goals of managing and accessing information in all its forms. Roger Needham, in a distinguished career at Cambridge University and Microsoft Research, was a pioneer of computer systems research and a noted innovator in the crucial area of system security.

Computer Systems: Theory, Technology, and Applications presents a comprehensive edited survey of all aspects of the subject, with original contributions by more than 40 international leaders in the field. The book assembles a collection of short articles showing the state-of-the-art in systems, from formal calculi to mobile devices, from operating systems to distributed computing and securitywhile also honoring Needham's important contributions.

Among the topics addressed:

Access control, data integration, and their languages

Clumps, clusters, and classification

The economics of open systems

The Needham Schroeder authentication protocol

Sentient computing

A technology transfer retrospective

Real time in a real operating system

Application-private networks

Technologies for portable computing

An authorization model for web services

Challenges for computing research

Protocol analysis, composability, and computation

This accessible monograph is an ideal overview of theoretical and empirical evolution in computer systems. It will serve as an invaluable resource for professionals, researchers, libraries, and students who are interestedin broadening their knowledge of the entire field.

Contenu
Introduction: Roger Needham.- On Access Control, Data Integration, and Their Languages.- Protocol Analysis, Composability and Computation.- Access Control in Distributed Systems.- Implementing Condition Variables with Semaphores.- Clumps, Clusters and Classification.- How to Implement Unnecessary Mutexes.- Bioware Languages.- The Economics of Open Systems.- From Universe to Global Internet.- Needham-Schroeder Goes to Court.- The Design of Reliable Operating Systems.- An Historical Connection between Time-Sharing and Virtual Circuits.- On Cross-Platform Security.- Distributed Computing Economics.- The Titan Influence.- Middleware? Muddleware!.- Grand Challenges for Computing Research.- Sentient Computing.- Cyber Security in Open Systems.- Software Components: Only the Giants Survive.- Security Protocols: Who Knows What Exactly?.- Volume Rendering by Ray-Casting in Shear-Image Order.- A Conceptual Authorization Model for Web Services.- The Trouble with Standards.- Novelty in the Nemesis Operating System.- A Technology Transfer Retrospective.- An Optical LAN.- What's in a Name?.- The Cryptographic Role of the Cleaning Lady.- Real Time in a Real Operating System.- Zen and the Art of Research Management.- The Descent of BAN.- Brief Encounters.- Retrieval System Models: What's New?.- Slammer: An Urgent Wake-Up Call.- Caching Trust Rather Than Content.- Least Privilege and More.- Using Sharing to Simplify System Management.- An RSA-Related Number-Theoretic Surprise.- Application-Private Networks.- Using the CORAL System to Discover Attacks on Security Protocols.- On the Role of Binding and Rate Adaptation in Packet Networks.- Technologies for Portable Computing: Outlook and Limitations.- Multiple Alternative Voting.- The Semiotics of Umbrellas.- Computers for SpecializedApplication Areas.