CSDL - Proceedings O

Introduction (PDF)

pp. x

Bibliography (PDF)

pp. 426

Intrusion Tolerant Databases

Architectures for Intrusion Tolerant Database Systems (Abstract)

Peng Liu, Pennsylvania State University

pp. 3

PDF

The Design of an Adaptive Intrusion Tolerant Database System (Abstract)

Pramote Luenam, UMBC

Peng Liu, Penn State University

pp. 14

PDF

Proof-Carrying Code

Foundational Proof-Carrying Code (Abstract)

Andrew W. Appel, Princeton University

pp. 25

PDF

Type-Preserving Compilation of Featherweight Java (Abstract)

Christopher League, Yale University

Zhong Shao, Yale University

Valery Trifonov, Yale University

pp. 35

PDF

A Type System for Certified Binaries (Abstract)

Zhong Shao, Yale University

Valery Trifonov, Yale University

Bratin Saha, Yale University

Nikolaos Papaspyrou, Yale University

pp. 60

PDF

Certification Authorities

Protecting Privacy Using the Decentralized Label Model (Abstract)

Andrew C. Myers, Cornell University

Barbara Liskov, Massachusetts Institute of Technology.

pp. 89

PDF

Enforceable Security Policies (Abstract)

Fred B. Schneider, Cornell University

pp. 117

PDF

Untrusted Hosts and Confidentiality: Secure Program Partitioning (Abstract)

Steve Zdancewic, Cornell University

Lantian Zheng, Cornell University

Nathaniel Nystrom, Cornell University

Andrew C. Myers, Cornell University

pp. 138

PDF

COCA: A Secure Distributed Online Certification Authority (Abstract)

Lidong Zhou, Microsoft Research

Fred B. Schneider, Cornell University

Robert van Renesse, Cornell University

pp. 152

PDF

Intrusion Tolerant Storage

Self-Securing Storage: Protecting Data in Compromised Systems (Abstract)

John D. Strunk, Carnegie Mellon University

Garth R. Goodson, Carnegie Mellon University

Michael L. Scheinholtz, Carnegie Mellon University

Craig A.N. Soules, Carnegie Mellon University

Gregory R. Ganger, Carnegie Mellon University

pp. 195

PDF

Linux Security

Linux Security Modules: General Security Support for the Linux Kernel (Abstract)

Chris Wright, WireX Communications, Inc.

Crispin Cowan, WireX Communications, Inc.

Stephen Smalley, Network Associates, Inc.

James Morris, Intercode Pty Ltd

Greg Kroah-Hartman, IBM Linux Technology Center

pp. 213

PDF

Buffer Overflows: Attacks and Defenses for the Vulnerability of the Decade (Abstract)

Crispin Cowan, Oregon Graduate Institute of Science & Technology

Perry Wagle, Oregon Graduate Institute of Science & Technology

Calton Pu, Oregon Graduate Institute of Science & Technology

Steve Beattie, Oregon Graduate Institute of Science & Technology

Jonathan Walpole, Oregon Graduate Institute of Science & Technology

pp. 227

PDF

Group Communications

Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems (Abstract)

HariGovind V. Ramasamy, University of Illinois at Urbana-Champaign

Prashant Pandey, IBM Almaden Research Center

James Lyons, University of Illinois at Urbana-Champaign

Michel Cukier, University of Maryland at College Park

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 241

PDF

Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System (Abstract)

HariGovind V. Ramasamy, University of Illinois at Urbana-Champaign

Michel Cukier, University of Maryland at College Park

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 251

PDF

Survival by Defense-Enabling (Abstract)

Partha Pal, BBN Technologies LLC

Franklin Webber, BBN Technologies LLC

Richard Schantz, BBN Technologies LLC

pp. 261

PDF

System Reconfiguration

Protection of Software-Based Survivability Mechanisms (Abstract)

Chenxi Wang, University of Virginia

Jack Davidson, Microsoft Research

Jonathan Hill, University of Virginia

John Knight, University of Virginia

pp. 273

PDF

Design and Evaluation of a Wide-Area Event Notification Service (Abstract)

Antonio Carzaniga, University of Colorado at Boulder

David S. Rosenblum, University of California at Irvine

Alexander L. Wolf, University of Colorado at Boulder

pp. 283

PDF

Mobile-Code Security

Making Mobile Code Both Safe and Efficient (Abstract)

Michael Franz, University of California at Irvine

Wolfram Amme, University of California at Irvine

Matthew Beers, University of California at Irvine

Niall Dalton, University of California at Irvine

Peter H. Fröhlich, University of California at Irvine

Vivek Haldar, University of California at Irvine

Andreas Hartmann, University of California at Irvine

Peter S. Housel, University of California at Irvine

Fermín Reig, University of California at Irvine

Jeffery von Ronne, University of California at Irvine

Christian H. Stork, University of California at Irvine

Sergiy Zhenochin, University of California at Irvine

pp. 337

PDF

Intrusion Tolerant Servers

SITAR: A Scalable Intrusion-Tolerant Architecture for Distributed Services (Abstract)

Feiyi Wang, MCNC

Frank Jou, MCNC

Fengmin Gong, IntruVert Network Inc.

Chandramouli Sargor, CoSine Communications, Inc.

Katerina Goseva-Popstojanova, Duke University

Kishor Trivedi, Duke University

pp. 359

PDF

The Design and Implementation of an Intrusion Tolerant System (Abstract)

James Reynolds, Teknowledge Corporation

James Just, Teknowledge Corporation

Ed Lawson, Teknowledge Corporation

Larry Clough, Teknowledge Corporation

Ryan Maglich, Teknowledge Corporation

Karl Levitt, University of California at Davis

pp. 368

PDF

Learning Unknown Attacks — A Start (Abstract)

James E. Just, Global InfoTek, Inc

James C. Reynolds, Teknowledge Corporation

Larry A. Clough, Teknowledge Corporation

Melissa Danforth, University of California at Davis

Karl N. Levitt, University of California at Davis

Ryan Maglich, Teknowledge Corporation

Jeff Rowe, University of California at Davis

pp. 374

PDF

Developing a Heterogeneous Intrusion Tolerant CORBA System (Abstract)

David Sames, Network Associates, Inc

Brian Matt, Network Associates, Inc

Brian Niebuhr, Network Associates, Inc

Gregg Tally, Network Associates, Inc

Brent Whitmore, Network Associates, Inc

David Bakken, Washington State University

pp. 387

PDF

Wrappers

Hardening COTS Software with Generic Software Wrappers (Abstract)

Timothy Fraser, Network Associates Labs

Lee Badger, Network Associates Labs

Mark Feldman, Network Associates Labs

pp. 399

PDF

Detecting and Countering System Intrusions Using Software Wrappers (Abstract)

Calvin Ko, Network Associates Labs

Timothy Fraser, Network Associates Labs

Lee Badger, Network Associates Labs

Douglas Kilpatrick, Network Associates Labs

pp. 414

PDF

Author Index

Author Index (PDF)

pp. 435