Computer systems :theory, technology, and applications : a tribute to Roger Needham
- 其他作者: Herbert, A. J. , Sparck Jones, Karen, , Needham, R. M.
- 出版: New York : Springer 2004.
- 稽核項: 1 online resource (xvii, 338 pages) :illustrations.
- 叢書名: Monographs in computer science
- 標題: COMPUTERS Software Development & Engineering -- Systems Analysis & Design. , COMPUTERS , Computer science. , System design. , Electronic books. , Software Development & EngineeringSystems Analysis & Design. , Software Development & EngineeringGeneral. , COMPUTERS Software Development & Engineering -- General.
- ISBN: 0387218211 , 9780387218212
- ISBN: 038720170X , 9780387201702 , 6610189064 , 9786610189069
- 試查全文@TNUA:
- 附註: Includes bibliographical references. Introduction : Roger Needham / Rick Rashid -- 1. On Access Control, Data Integration, and Their Languages / Martin Abadi -- 2. Protocol Analysis, Composability and Computation / Ross Anderson, Michael Bond -- 3. Access Control in Distributed Systems / Jean Bacon, Ken Moody -- 4. Implementing Condition Variables with Semaphores / Andrew D. Birrell -- 5. Clumps, Clusters and Classification / Christopher M. Bishop -- 6. How to Implement Unnecessary Mutexes / Mike Burrows -- 7. Bioware Languages / Luca Cardelli -- 8. The Economics of Open Systems / David D. Clark -- 9. From Universe to Global Internet / Jon Crowcroft -- 10. Needham-Schroeder Goes to Court / Dorothy E. Denning -- 11. The Design of Reliable Operating Systems / Peter Denning -- 12. An Historical Connection between Time-Sharing and Virtual Circuits / Sandy Fraser -- 13. On Cross-Platform Security / Li Gong -- 14. Distributed Computing Economics / Jim Gray -- 15. The Titan Influence / David Hartley -- 16. Middleware? Muddleware? / Andrew Herbert -- 17. Grand Challenges for Computing Research / Tony Hoare -- 18. Sentient Computing / Andy Hopper -- 19. Cyber Security in Open Systems / Anita Jones -- 20. Software Components : Only the Giants Survive / Butler W. Lampson -- 21. Security Protocols : Who Knows What Exactly? / Peter Landrock -- 22. Volume Rendering by Ray-Casting in Shear-Image Order / Hugh C. Lauer [and others] -- 23. A Conceptual Authorization Model for Web Services / Paul J. Leach [and others] -- 24. The Trouble with Standards / E. Stewart Lee -- 25. Novelty in the Nemesis Operating System / Ian Leslie -- 26. A Technology Transfer Retrospective / Roy Levin -- 27. An Optical LAN / Derek McAuley -- 28. What's in a Name? / Robin Milner -- 29. The Cryptographic Role of the Cleaning Lady / Bob Morris -- 30. Real Time in a Real Operating System / Sape J. Mullender, Pierre G. Jansen -- 31. Zen and the Art of Research Management / John Naughton, Robert W. Taylor -- 32. The Descent of BAN / Lawrence C.
- 摘要: 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 Needhams 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.
- 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=107935
- 系統號: 005308753
- 資料類型: 電子書
- 讀者標籤: 需登入
- 引用網址: 複製連結
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.
來源: Google Book
來源: Google Book
評分
