Foundations of intrusion tolerant systems / edited by Jaynarayan H. Lala ; DARPA.

Format:

Book

Contributor:

Lala, Jaynarayan H.

IEEE Xplore (Online service)

United States. Defense Advanced Research Projects Agency.

Language:

English

Subjects (All):

Computer security--Congresses.

Computer security.

Computer networks--Security measures--Congresses.

Computer networks.

Computer networks--Security measures.

Genre:

Conference papers and proceedings.

Physical Description:

xix, 435 pages : illustrations

Other Title:

Intrusion tolerant systems

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, [2003]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Intrusion Tolerant Databases

Architectures for Intrusion Tolerant Database Systems / P. Liu 3

The Design of an Adaptive Intrusion Tolerant Database System / P. Luenam, P. Liu 14

Proof-Carrying Code

Foundational Proof-Carrying Code / A. W. Appel 25

Type-Preserving Compilation of Featherweight Java / C. League, Z. Shao, V. Trifonov 35

A Type System for Certified Binaries / Z. Shao, V. Trifonov, B. Saha, N. Papaspyrou 60

Certification Authorities

Protecting Privacy Using the Decentralized Label Model / A. C. Myers, B. Liskov 89

Enforceable Security Policies / F. B. Schneider 117

Untrusted Hosts and Confidentiality: Secure Program Partitioning / S. Zadancewic, L. Zheng, N. Nystrom, A. C. Myers 138

COCA: A Secure Distributed Online Certification Authority / L. Zhou, F. B. Schneider, R. van Renesse 152

Intrusion Tolerant Storage

Self-Securing Storage: Protecting Data in Compromised Systems / J. D. Strunk, G. R. Goodson, M. L. Scheinholtz, C. A. N. Soules, G. R. Ganger 195

Linux Security

Linux Security Modules: General Security Support for the Linux Kernel / C. Wright, C. Cowan, S. Smalley, J. Morris, G. Kroah-Hartman 213

Buffer Overflows: Attacks and Defenses for the Vulnerability of the Decade / C. Cowan, P. Wagle, C. Pu, S. Beattie, J. Walpole 227

Group Communications

Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems / H. V. Ramasamy, P. Pandey, J. Lyons, M. Cukier, W. H. Sanders 241

Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System / H. V. Ramasamy, M. Cukier, W. H. Sanders 251

Survival by Defense-Enabling / P. Pal, F. Webber, R. Schantz 261

System Reconfiguration

Protection of Software-Based Survivability Mechanisms / C. Wang, J. Davidson, J. Hill, J. Knight 273

Design and Evaluation of a Wide-Area Event Notification Service / A. Carzaniga, D. S. Rosenblum, A. L. Wolf 283

Mobile-Code Security

Making Mobile Code Both Safe and Efficient / M. Franz, W. Amme, M. Beers, N. Dalton, P. H. Frohlich, V. Haldar, A. Hartmann, P. S. Housel, F. Reig, J. von Ronne, C. H. Stork, S. Zhenochin 337

Intrusion Tolerant Servers

SITAR: A Scalable Intrusion-Tolerant Architecture for Distributed Services / F. Wang, F. Jou, F. Gong, C. Sargor, K. Goseva-Popstojanova, K. Trivedi 359

The Design and Implementation of an Intrusion Tolerant System / J. Reynolds, J. Just, E. Lawson, L. Clough, R. Maglich, K. Levitt 368

Learning Unknown Attacks

A Start / J. E. Just, J. C. Reynolds, L. A. Clough, M. Danforth, K. N. Levitt, R. Maglich, J. Rowe 374

Developing a Heterogeneous Intrusion Tolerant CORBA System / D. Sames, B. Matt, B. Niebuhr, G. Tally, B. Whitmore, D. Bakken 387

Wrappers

Hardening COTS Software with Generic Software Wrappers / T. Fraser, L. Badger, M. Feldman 399

Detecting and Countering System Intrusions Using Software Wrappers / C. Ko, T. Fraser, L. Badger, D. Kilpatrick 414.

Notes:

"IEEE Computer Society Order Number PR02057"--T.p. verso.

"Organically Assured and Survivable Information Systems OASIS"--T.p.

Includes bibliographical references and author index.

ISBN:

076952057X

9780769520575

OCLC:

54480914

Access Restriction:

Restricted for use by site license.