Overview

An invited collection of peer-reviewed papers surveying key areas of Roger Needham's distinguished research career at Cambridge University and Microsoft Research. From operating systems to distributed computing, many of the world's leading researchers provide insight into the latest concepts and theoretical insights--many of which are based upon Needham's pioneering research work. 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. Introduction to book written by Rick Rashid, Director of Microsoft Research Worldwide.

Full Product Details

Author:   Andrew James Herbert ,  Karen I.B. Spaerck Jones
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 2004
Dimensions:   Width: 15.50cm , Height: 1.90cm , Length: 23.50cm
Weight:   0.551kg
ISBN:  

9781475780758

ISBN 10:   1475780753
Pages:   338
Publication Date:   24 March 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions