Items in cart [0] Questions? Call 888-624-8373

HARDBACK + PDF your price: $56.50 add to cart HARDBACK list:$47.95 Web:$43.16 add to cart PDF BOOK your price: $37.00 add to cart PDF CHAPTERS your price: $2.90 select Rights & Permissions Free Resources PDF EXECUTIVE SUMMARY Display this book on your site! Related Titles Funding a Revolution: Government Support for Computing Research Fostering Research on the Economic and Social Impacts of Information Technology Other Related Titles Trust in Cyberspace (1999) Computer Science and Telecommunications Board (CSTB) Web Search Builder Use this book's key terms to search within this book, across our collection, or across the Web. Skim This Chapter Skim this chapter and use this chapter's key terms to search within this book. Reference Finder Paste in your own text to find books that relate to your topic. Page 279   E-mail  Facebook  Digg  Stumble  Twitter More Page 279 Front Matter (R1-R20) Executive Summary (1-11) 1 Introduction (12-25) 2 Public Telephone Network and Internet Trustworthiness (26-61) 3 Software for Networked Information Systems (62-108) 4 Reinventing Security (109-153) 5 Trustworthy Systems from Untrustworthy Components (154-170) 6 The Economic and Public Policy Context (171-239) 7 Conclusions and Research Recommendations (240-256) Appendix A: Study Committee Biographies (257-266) Appendix B: Briefers to the Committee (267-268) Appendix C: Workshop Participants and Agendas (269-278) Appendix D: List of Position Papers Prepared for the Workshops (279-280) Appendix E: Trends in Software (281-284) Appendix F: Some Related Trustworthiness Studies (285-290) Appendix G: Some Operating System Security Examples (291-292) Appendix H: Types of Firewalls (293-295) Appendix I: Secrecy of Design (296-297) Appendix J: Research in Information System Security and Survivability Funded by NSA and DARPA (298-299) Appendix K: Glossary (300-318) Index (319-331)

Below are the first 10 and last 10 pages of uncorrected machine-read text (when available) of this chapter, followed by the top 30 algorithmically extracted key phrases from the chapter as a whole.
Intended to provide our own search engines and external engines with highly rich, chapter-representative searchable text on the opening pages of each chapter. Because it is UNCORRECTED material, please consider the following text as a useful but insufficient proxy for the authoritative book pages.

Do not use for reproduction, copying, pasting, or reading; exclusively for search engines.

OCR for page 279
D List of Position Papers Prepared for the Workshops WORKSHOP ~ Earl Boebert Roch Guerin Chrisan Herrod Alan Kirby Radia Perlman Henning Schulzrinne Mark E. Segal Abel Weinrib Martin Abadi Ricky Butler Shiu-Kai Chin Dan Craigen Edward W. Felten Li Gong Constance Heitmeyer "Information Systems Trustworthiness" "Quality of Service and Trustworthiness" "Defense Information Infrastructure (DII): Trust- worthiness, Issues and Enhancements" "Is the NII Trustworthy?" "Information Systems Trustworthiness" "The Impact of Resource Reservation for Real- Time Internet Services" "Trustworthiness in Telecommunications Systems" "QoS, Multicast and Information System Trust- worthiness" WORKSHOP 2 "Formal, Informal, and Null Methods" "Formal Methods: State of the Practice" "Highly Assured Computer Engineering" "A Perspective on Formal Methods" "Research Directions for Java Security" "Mobile Code in Java: Strength and Chal- lenges" "Formal Methods: State of Technology" 279

OCR for page 280
280 APPENDIX D Rohit Khare "Rights Management, Copy Detection, and Access Control" Paul Kocher "Position Statement for Panel 4" Robert Kurshan "Algorithmic Verification" Karl N. Levitt "Intrusion Detection for Large Networks" Leo Marcus "Formal Methods: State of the Practice" John McHugh "Formal Methods for Survivability" John McLean "Formal Methods in Security" Dejan S. Milojicic "Alternatives to Mobile Code" I Strother Moore "Position Statement on the State of Formal Methods Technology" Clifford Neuman "Rights Management, Copy Detection, and Access Control" Elaine Palmer "Research on Secure Coprocessors" John Rushby "Formal Methods: State of Technology" Margo Seltzer "Dealing with Disaster: Surviving Misbehaved Kernal Extensions" Mark Stefik "Security Concepts for Digital Publishing on Trusted Systems" Vipin Swarup "Mobile Code Security" WORKSHOP 3 Thomas Buss Michael Diaz Stephanie Forrest Chengi Jimmy Kuo John Francis Mergen "Building Strong Transactional Systems" "Assessing the Cost of Security and Trustworthi- ness" "Immunology and Intrusion Detection" "Free Macro Antivirus Techniques" "GTE Internetworking"

Representative terms from entire chapter:

mobile code