Dependable Computing: Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

Philip Koopman (auth.), Andrea Bondavalli, Francisco Brasileiro, Sergio Rajsbaum (eds.)3540752935, 9783540752936

This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007.

The 14 revised full papers presented together with two invited talks and outlines of three tutorials and two panel sessions were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security.

---

Table of contents :
Front Matter….Pages –
Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract)….Pages 1-2
Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?….Pages 3-6
Fault-Tolerant Dynamic Routing Based on Maximum Flow Evaluation….Pages 7-24
On the Implementation of Communication-Optimal Failure Detectors….Pages 25-37
Connectivity in Eventually Quiescent Dynamic Distributed Systems….Pages 38-56
Implementing Fault Tolerance Using Aspect Oriented Programming….Pages 57-74
Architecture-Centric Fault Tolerance with Exception Handling….Pages 75-94
Coverage-Oriented, Prioritized Testing – A Fuzzy Clustering Approach and Case Study….Pages 95-110
Error Propagation Monitoring on Windows Mobile-Based Devices….Pages 111-122
Gossiping: Adaptive and Reliable Broadcasting in MANETs….Pages 123-141
On the Behavior of Broadcasting Protocols for MANETs Under Omission Faults Scenarios….Pages 142-159
Failure Boundedness in Discrete Applications….Pages 160-169
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software….Pages 170-178
Component-Based Software Certification Based on Experimental Risk Assessment….Pages 179-197
Integrated Intrusion Detection in Databases….Pages 198-211
Security Rationale for a Cooperative Backup Service for Mobile Devices….Pages 212-230
Do You Know… How to Analyze and Share Results from Dependability Evaluation Experiments?….Pages 231-232
Security Patterns and Secure Systems Design….Pages 233-234
BAR—Where Distributed Computing Meets Game Theory….Pages 235-236
Scaling Dependability and Security in Ad Hoc Networks….Pages 237-237
Assessing, Measuring, and Benchmarking Dependability and Resilience….Pages 238-238
Back Matter….Pages –