Computer Systems

Theory, Technology, and Applications

  • Andrew Herbert
  • Karen Spärck Jones

Part of the Monographs in Computer Science book series (MCS)

Table of contents

  1. Front Matter
    Pages i-xvii
  2. Rick Rashid
    Pages 1-7
  3. Ross Anderson, Michael Bond
    Pages 15-19
  4. Jean Bacon, Ken Moody
    Pages 21-28
  5. Andrew D. Birrell
    Pages 29-37
  6. Christopher M. Bishop
    Pages 39-49
  7. Mike Burrows
    Pages 51-57
  8. Luca Cardelli
    Pages 59-65
  9. David D. Clark
    Pages 67-72
  10. Jon Crowcroft
    Pages 73-76
  11. Dorothy E. Denning
    Pages 77-78
  12. Peter Denning
    Pages 79-83
  13. Li Gong
    Pages 89-91
  14. Jim Gray
    Pages 93-101
  15. David Hartley
    Pages 103-108
  16. Andrew Herbert
    Pages 109-116
  17. Tony Hoare
    Pages 117-123
  18. Andy Hopper
    Pages 125-131
  19. Anita Jones
    Pages 133-135
  20. Butler W. Lampson
    Pages 137-145
  21. Peter Landrock
    Pages 147-152
  22. Hugh C. Lauer, Yin Wu, Vishal Bhatia, Larry Seiler
    Pages 153-163
  23. Paul J. Leach, Blair Dillaway, Praerit Garg, Chris Kaler, Brian LaMacchia, Butler Lampson et al.
    Pages 165-171
  24. E. Stewart Lee
    Pages 173-175
  25. Ian Leslie
    Pages 177-183
  26. Roy Levin
    Pages 185-193
  27. Derek McAuley
    Pages 195-203
  28. Robin Milner
    Pages 205-209
  29. Sape J. Mullender, Pierre G. Jansen
    Pages 213-221
  30. John Naughton, Robert W. Taylor
    Pages 222-224
  31. Lawrence C. Paulson
    Pages 225-228
  32. Brian Randell
    Pages 229-235
  33. Stephen Robertson, Karen Spärck Jones
    Pages 237-242
  34. Jerome H. Saltzer
    Pages 243-248
  35. M. Satyanarayanan
    Pages 249-252
  36. Fred B. Schneider
    Pages 253-258
  37. Michael D. Schroeder
    Pages 259-267
  38. Gustavus J. Simmons
    Pages 269-271
  39. Jonathan M. Smith
    Pages 273-277
  40. Graham Steel, Alan Bundy, Ewen Denney
    Pages 279-285
  41. David Wheeler
    Pages 305-309
  42. John Wilkes
    Pages 311-315
  43. Maurice Wilkes
    Pages 317-318

About this book



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 security—while 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 interested in broadening their knowledge of the entire field.


Computer Distributed computing Operating systems RSA calculus computer security distributed systems operating system security

Editors and affiliations

  • Andrew Herbert
    • 1
  • Karen Spärck Jones
    • 2
  1. 1.Microsoft Research Ltd.CambridgeUK
  2. 2.Computer LaboratoryUniversity of CambridgeCambridgeUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag New York, Inc. 2004
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-387-20170-2
  • Online ISBN 978-0-387-21821-2
  • Series Print ISSN 0172-603X
  • Buy this book on publisher's site