Trust in Cyberspace
Committee on Information Systems Trustworthiness, National Research Council (1999) 352 pages   6 x 9

D

List of Position Papers Prepared
for the Workshops

Workshop 1

Earl Boebert "Information Systems Trustworthiness"

Roch Guerin "Quality of Service and Trustworthiness"

Chrisan Herrod "Defense Information Infrastructure (DII): Trustworthiness, Issues and Enhancements"

Alan Kirby "Is the NII Trustworthy?"

Radia Perlman "Information Systems Trustworthiness"

Henning Schulzrinne "The Impact of Resource Reservation for Real-Time Internet Services"

Mark E. Segal "Trustworthiness in Telecommunications Systems"

Abel Weinrib "QoS, Multicast and Information System Trustworthiness"

Workshop 2

Martin Abadi "Formal, Informal, and Null Methods"

Ricky Butler "Formal Methods: State of the Practice"

Shiu-Kai Chin "Highly Assured Computer Engineering"

Dan Craigen "A Perspective on Formal Methods"

Edward W. Felten "Research Directions for Java Security"

Li Gong "Mobile Code in Java: Strength and Challenges"

Constance Heitmeyer "Formal Methods: State of Technology"

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"

J 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 "Building Strong Transactional Systems"

Michael Diaz "Assessing the Cost of Security and Trustworthiness"

Stephanie Forrest "Immunology and Intrusion Detection"

Chengi Jimmy Kuo "Free Macro Antivirus Techniques"

John Francis Mergen "GTE Internetworking"