The Community for Technology Leaders
Dependable, Autonomic and Secure Computing, IEEE International Symposium on (2007)
Columbia, Maryland
Sept. 25, 2007 to Sept. 26, 2007
ISBN: 0-7695-2985-2
TABLE OF CONTENTS
Introduction

Organizers (PDF)

pp. ix-x

Program Committee (PDF)

pp. xiii-xviii
Session 1: Self-*

Building a Self-Healing Operating System (Abstract)

Roy H. Campbell , University of Illinois at Urbana-Champaign, USA
Francis M. David , University of Illinois at Urbana-Champaign, USA
pp. 3-10

Self-Configuration Techniques for MuniSocket (Abstract)

Nader Mohamed , United Arab Emirates University, UAE
Jameela Al-Jaroodi , United Arab Emirates University, UAE
pp. 11-20
Session 2: Dependability

Incorporating Modular Imperfect Coverage into Dynamic Hierarchical Systems Analysis (Abstract)

Prashanthi Boddu , University of Massachusetts Dartmouth, USA
Liudong Xing , University of Massachusetts Dartmouth, USA
pp. 21-28

A Coarse-Grained Pessimistic Message Logging Scheme for Improving Rollback Recovery Efficiency (Abstract)

Jin-Min Yang , Hunan University, China
Jing Cheng , Hunan University, China
Da-Fang Zhang , Hunan University, China
Kin Fun Li , University of Victoria, Canada
pp. 29-36

A Byzantine Fault Tolerant Distributed Commit Protocol (Abstract)

Wenbing Zhao , Cleveland State University, USA
pp. 37-46
Session 3: Security

Compiler-Directed Region-Based Security for Low-Overhead Software Protection (Abstract)

Vijay Kongubangaram , The George Washington University, USA
Bhagirath Narahari , The George Washington University, USA
Rahul Simha , The George Washington University, USA
Olga Gelbart , The George Washington University, USA
pp. 47-54

Towards a Proactive Fraud Management Framework for Financial Data Streams (Abstract)

Michael E. Edge , University of Manchester, UK
Pedro R. Falcone Sampaio , University of Manchester, UK
Mohammed Choudhary , Sparta Technologies Ltd., UK
pp. 55-64
Session 4: Autonomic Computing Systems

Using Atoms to Simplify Distributed Programs Checking (Abstract)

Eslam Al Maghayreh , Concordia University, Canada
D. Goswami , Concordia University, Canada
H.F. Li , Concordia University, Canada
pp. 75-83

An Inference-based Collaborative Filtering Approach (Abstract)

Jin-Min Yang , Hunan University, China
Kin Fun Li , University of Victoria, Canada
pp. 84-94
Session 5: Performance and Reliability

How to Update Dependable Secure Computing Systems from a Survivability Assessment Perspective? (Abstract)

Musoke Sendaula , Temple University, USA
Li Bai , Temple University, USA
Saroj Biswas , Temple University, USA
pp. 95-99

Performance Analysis of CORBA Replication Models (Abstract)

B. Dasarathy , Telcordia Technologies, USA
Swapna S. Gokhale , Univ. of Connecticut, USA
pp. 100-107

Byzantine Fault Tolerance for Nondeterministic Applications (Abstract)

Wenbing Zhao , Cleveland State University, USA
pp. 108-118
Session 6: Self-Improvement Based on Software and Hardware

Employing Expert Opinion and Software Metrics for Reasoning About Software (Abstract)

Norita Ahmad , Penn State University, USA
Phillip A. Laplante , Penn State University, USA
pp. 119-124

Hybrid Trust Information Exchange for Federated Systems (Abstract)

Zhengping Wu , University of Virginia, USA
Alfred C. Weaver , University of Virginia, USA
pp. 125-133

iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support (Abstract)

Roy H. Campbell , University of Illinois at Urbana-Champaign, USA
Nevedita Mallick , University of Illinois at Urbana-Champaign, USA
Jeffrey C. Carlyle , University of Illinois at Urbana-Champaign, USA
Reza Farivar , University of Illinois at Urbana-Champaign, USA
Francis M. David , University of Illinois at Urbana-Champaign, USA
Lin Tan , University of Illinois at Urbana-Champaign, USA
Ellick M. Chan , University of Illinois at Urbana-Champaign, USA
pp. 134-144
Session 7: Networks and Systems

On TCP Performance in Flow-Based Mix Networks (Abstract)

Xinwen Fu , Dakota State University, USA
Yong Guan , Iowa State University, USA
Steve Graham , Dakota State University, USA
Shu Jiang , Texas A&M University, USA
Wei Yu , Texas A&M University, USA
pp. 145-152

FileWall: A Firewall for Network File Systems (Abstract)

Aniruddha Bohra , Rutgers University, USA
Liviu Iftode , Rutgers University, USA
Stephen Smaldone , Rutgers University, USA
pp. 153-162

Secure Multipath Routing Scheme for Mobile Ad Hoc Network (Abstract)

SeungJo Han , Chosun University, Korea
Binod Vaidya , Tribhuvan University, Nepal
JaeYoung Pyun , Chosun University, Korea
JongAn Park , Chosun University, Korea
pp. 163-171

MBDD versus MMDD for Multistate Systems Analysis (Abstract)

Liudong Xing , University of Massachusetts Dartmouth, USA
Akhilesh Shrestha , University of Massachusetts Dartmouth, USA
Yuanshun Dai , University of Tennessee, USA
pp. 172-180
Author Index

Author Index (PDF)

pp. 181
89 ms
(Ver )