IEEE Catalog Number: ISBN:

CFP11048-PRT 978-1-4244-9232-9

2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN 2011)

Hong Kong, China 27 – 30 June 2011

DCCS 1: Safety and Security

Chair: Matti Hiltunen, (AT&T Labs Research, USA)

Uni-Directional Trusted Path: Transaction Confirmation on Just One Device ...............................................................................................1 Atanas Filyanov (Ruhr-University Bochum, Germany), Jonathan McCune (Carnegie-Mellon University, USA), Ahmad-Reza Sadeghi (TU Darmstadt, Germany), and Marcel Winandy (Ruhr-University Bochum, Germany)

Boundless Memory Allocations for Memory Safety and High Availability ............................................................................................13 Marc Brunink, Martin Süßkraut and Christof Fetzer (TU Dresden, Germany)

A Methodology for the Generation of Efficient Error Detection Mechanisms ...........................................................................................25 Matthew Leeke, Saima Arif, Arshad Jhumka and Sarabjot Singh Anand (University of Warwick, UK)

xxi

DCCS 2: Network Fault Tolerance

Chair: Rodrigo Rodrigues, (MPI-SWS, Germany)

Fault Tolerant WSN-based Structural Health Monitoring ..............37 Xuefeng Liu, Jiannong Cao, Md. Zakirul Alam Bhuiyan, Steven Lai (Hong Kong Polytechnic University, Hong Kong), Hejun Wu (Sun Yat-Sen University, China) and Guojun Wang (Central South University, China)

Online Detection of Multi-Component Interactions in Production Systems ...................................................................................................49 Adam Oliner and Alex Aiken (Stanford University, USA)

An Empirical Study of the Performance, Security and Privacy Implications of Domain Name Prefetching .........................................61 Srinivas Krishnan and Fabian Monrose (UNC-Chapel Hill, USA)

xxii

DCCS 3: Distributed Systems

Chair: Flavio Junqueira (Yahoo! Research, Spain)

Efficient Model Checking of Fault-Tolerant Distributed Protocols .................................................................................................73 Peter Bokor, Johannes Kinder (TU Darmstadt, Germany), Marco Serafini (Yahoo Research, Spain), and Neeraj Suri (TU Darmstadt, Germany)

Unified Debugging of Distributed Systems with Recon ....................85 Kyu Hyung Lee, Nick Sumner, Xiangyu Zhang and Patrick Eugster (Purdue University, USA)

Improving Log-Based Field Failure Data Analysis of Multi Nodes Computing Systems ..............................................................................97 Antonio Pecchia, Domenico Cotroneo (Federico II University of Naples, Italy), Zbigniew Kalbarczyk and Ravishankar K. Iyer (University of Illinois at Urbana-Champaign, USA)

xxiii

DCCS 4: Network Security

Chair: Vitaly Shmatikov, (UT Austin, USA)

An Analysis of Signature Overlaps in Intrusion Detection Systems .................................................................................................109

Frederic Massicotte (Communications Research Centre, Canada) and Yvan Labiche (Carleton University, Canada)

Detecting Stealthy P2P Botnets Using Statistical Traffic Fingerprints .........................................................................................121 Junjie Zhang (Georgia Tech, USA), Roberto Perdisci (University of Georgia, USA), Wenke Lee, Unum Sarfraz (Georgia Tech, USA), and Xiapu Luo (Hong Kong Polytechnic University, USA)

Applying Game Theory to Analyze Attacks and Defenses in Virtual Coordinate Systems ............................................................................133 Sheila Becker (University of Luxembourg, Luxembourg), Jeff Seibert, David Zage, Cristina Nita-Rotaru (Purdue University, USA) and Radu State (University of Luxembourg, Luxembourg)

xxiv

DCCS 5: Recovery

Chair: Elmootazbellah Elnozahy, (IBM, USA)

CEC: Continuous Eventual Checkpointing for Data Stream Processing Operators ..........................................................................145

Zoe Sebepou and Kostas Magoutis (ICS-Forth, Greece)

Coercing Clients into Facilitating Failover for Object Delivery ....157 Wyatt Lloyd and Michael J. Freedman (Princeton University, USA)

Phase-based Reboot: Reusing Operating System Execution Phases for Cheap Reboot-based Recovery ....................................................169 Kazuya Yamakita, Hiroshi Yamada and Kenji Kono (Keio University, Japan)

xxv

DCCS 6: Practical Experience Report/Tool/Demonstration

Chair: Miguel Correia, (University of Lisboa, Portugal)

Communix: A Collaborative Deadlock Immunity Framework ......181

Horatiu Jula, Pinar Tozun and George Candea (EPFL, Switzerland) (Tool Description/Demo)

CloudVal: A Framework for Validation of Virtualization Environment in Cloud Infrastructure ..............................................189 Cuong Pham, Daniel Chen, Zbigniew Kalbarczyk, and Ravishankar Iyer (University of Illinois at Urbana-Champaign, USA) (Practical Experience Report)

xxvi

DCCS 7: Memory and I/O

Chair: Murali Annavaram, (USC, USA)

Helmet: A Resistance Drift Resilient Architecture for Multi-level Cell Phase Change Memory System ..................................................197

Wangyuan Zhang and Tao Li (University of Florida, USA)

HDP Code: A Horizontal-Diagonal Parity Code to Optimize I/O Load Balancing in RAID-6 .................................................................209 Chentao Wu, Xubin He, Guanying Wu (Virginia Commonwealth University, USA), Shenggang Wan, Xiaohua Liu, Qiang Cao and Changsheng Xie (Huazhong University of Science and Technology, China)

LLS: Cooperative Integration of Wear-Leveling and Salvaging for PCM Main Memory ............................................................................221 Lei Jiang, Yu Du, Youtao Zhang, Bruce Childers, and Jun Yang (University of Pittsburgh, USA)

xxvii

DCCS 8: Replication and Consistency

Chair: Michael Paulitsch, (EADS, USA)

Get Off My Prefix! The Need for Dynamic, Gerontocratic Policies in Inter-domain Routing .........................................................................233 Edmund Wong and Vitaly Shmatikov (The University of Texas at Austin, USA)

Zab: High-performance Broadcast for Primary-Backup Systems .................................................................................................245 Flavio Junqueira, Benjamin Reed and Marco Serafini (Yahoo Research, Spain)

Deadline-Aware Scheduling for Software Transactional Memory ................................................................................................257 Walther Maldonado, Patrick Marlier, Pascal Felber (University of Neuchatel, Switzerland), Julia Lawall (DIKU, Denmark), Gilles Muller (INRIA/LIP6, France) and Etienne Riviere (University of Neuchatel, Switzerland)

xxviii

DCCS 9: Error Detection

Chair: Cristian Constantinescu, (AMD, USA)

A Combinatorial Approach to Detecting Buffer Overflow Vulnerabilities .....................................................................................269

Wenhua Wang, Yu Lei, Dongang Liu, David Kung, Christoph Csallner, Dazhi Zhang (University of Texas at Arlington, USA), Raghu Kacker and Rick Kuhn (National Institute of Technology and Standards, USA)

Cross-layer Resilience Using Wearout Aware Design Flow ...........279 Bardia Zandian and Murali Annavaram (University of Southern California, USA)

Transparent Dynamic Binding with Fault-Tolerant Cache Coherence Protocol for Chip Multiprocessors .................................291 Shuchang Shan, Yu Hu and Xiaowei Li (Chinese Academy of Sciences, China)

xxix

PDS 1: Fault Tolerance Assessment

Chair: Domenico Cotroneo, (University di Napoli Federico II, Italy)

Fault injection-based assessment of aspect-oriented implementation of fault tolerance .................................................................................303 Ruben Alexandersson and Johan Karlsson (Chalmers University of Technology, Sweden)

A Framework For Early Stage Quality-Fault Tolerance Analysis Of Embedded Control Systems ...............................................................315 Satya Gautam Vadlamudi (IIT Kharagpur, India), Dipankar Das (GM India Science Lab, India), Partha Pratim Chakrabarti (IIT Kharagpur, India) and Purnendu Sinha (GM India Science Lab, India)

Characterization of Logical Masking and Error Propagation in Combinational Circuits and Effects on System Vulnerability ........323 Nishant George and John Lach (University of Virginia, USA)

xxxi

PDS 2: System Evaluation and Verification

Chair: Bill Sanders, (UIUC, USA)

A Scalable Availability Model of Infrastructure-as-a-Service Cloud ....................................................................................................335

Francesco Longo (Università degli Studi di Messina, Italy), Rahul Ghosh (Duke University, USA), Vijay K. Naik (IBM T. J. Watson Research Center, USA) and Kishor S. Trivedi (Duke University, USA)

Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems .................................................................................................347 Emmanuelle Anceaume (CNRS / IRISA, France), Bruno Sericola (INRIA Rennes Bretagne-Atlantique, France), Romaric Ludinard and Frederic Tronel (Supelec, France)

Incremental Quantitative Verification for Markov Decision Processes ..............................................................................................359 Marta Kwiatkowska, David Parker and Hongyang Qu (Oxford University, UK)

xxxii

PDS 3: Survivable and Intrusion-Tolerant Systems

Chair: Michel Cukier, (University of Maryland, College Park, USA)

Hypervisor-Assisted Application Checkpointing in Virtualized Environments ......................................................................................371 Min Lee (Georgia Institute of Technology, USA), A. S. Krishnakumar, P. Krishnan, Navjot Singh and Shalini Yajnik (Avaya Labs, USA)

OS Diversity for Intrusion Tolerance: Myth or Reality? ................383 Miguel Garcia, Alysson Bessani (University of Lisbon, Portugal), Ilir Gashi (City University of London, UK), Nuno Neves (University of Lisbon, Portugal) and Rafael Obelheiro (State University of Santa Catarina, Brazil)

Resource and Virtualization Costs up in the Cloud: Models and Design Choices .....................................................................................395 Daniel Gmach (HP Labs, USA), Jerry Rolia (HP Labs, UK) and Ludmila Cherkasova (HP Labs, USA)

xxxiii

PDS 4: Data Analysis and Benchmarking

Chair: Karama Kanoun, (LAAS-CNRS, France)

WaRR: High Fidelity Web Application Recording and Replaying .............................................................................................403 Silviu Andrica and George Candea (EPFL, Switzerland)

Aaron: An Adaptable Execution Environment ................................411 Marc Brunink, Andre Schmitt, Thomas Knauth, Martin Süßkraut, Ute Schiffel, Stephan Creutz and Christof Fetzer (TU Dresden, Germany)

Toward Dependability Benchmarking of Partitioning Operating Systems .................................................................................................422 Raul Barbosa (University of Coimbra, Portugal ), Johan Karlsson, Qiu Yu and Xiaozhen Mao (Chalmers University of Technology, Sweden)

xxxiv

PDS 5: Dependability Modeling

Chair: Karthik Pattabiraman, (UBC, Canada)

Modeling Stream Processing Applications for Dependability Evaluation ............................................................................................430

Gabriela Jacques-Silva, Zbigniew Kalbarczyk (University of Illinois at Urbana-Champaign, USA), Bugra Gedik, Henrique Andrade, Kun-Lung Wu (IBM Research, USA) and Ravishankar K. Iyer (Univeristy of Illinois at Urbana-Champaign, USA)

Modeling and Analysis of the Impact of Failures in Electric Power Systems Organized in Interconnected Regions ................................442 Silvano Chiaradonna, Felicita Di Giandomenico and Nicola Nostro (ISTI-CNR, Italy)

High Performance State-Machine Replication ................................454 Parisa Marandi, Marco Primi and Fernando Pedone (University of Lugano, Switzerland)

xxxv

PDS 6: Security Studies

Chair: Bojan Cukic, (West Virginia University, USA)

How Secure are Networked Office Devices? ....................................466

Edward Condon (University of Maryland, USA), Zaina Afoulki (Ecole Nationale Superieure d'Ingenieurs de Bourges, France), Emily Cummins (Rochester Institute of Technology, USA) and Michel Cukier (University of Maryland, USA)

A Combinatorial Approach to Network Covert Communications with Applications in Web Leaks ........................................................474 Xiapu Luo, Peng Zhou, Edmond W. W. Chan, Rocky K. C. Chang (HK PolyU, Hong Kong) and Wenke Lee (Gatech, USA)

xxxvi

PDS 7: Data Analysis

Chair: Johan Karlsson, (Chalmers University, Sweden)

Crash Graphs: An Aggregated View of Multiple Crashes to Improve Crash Triage ........................................................................................486

Sunghun Kim (Hong Kong University of Science and Technology, Hong Kong), Thomas Zimmermann and Nachiappan Nagappan (Microsoft Research, USA)

Amplifying Limited Expert Input to Sanitize Large Network Traces ...................................................................................................494 Xin Huang, Fabian Monrose and Michael Reiter (University of North Carolina at Chapel Hill, USA)

Analysis of Security Data from a Large Computing Organization ........................................................................................506 Aashish Sharma, Zbigniew Kalbarczyk, Jim Barlow and Ravishankar K. Iyer (UIUC, USA)

xxxvii

PDS 8: Wireless Networks and Storage Systems

Chair: Jie Xu, (University of Leeds, UK)

Coerced Cache Eviction and Discreet-Mode Journaling: Dealing with Misbehaving Disks ......................................................................518

Abhishek Rajimwale (Data Domain, Inc., USA), Vijay Chidambaram, Deepak Ramamurthi, Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau (University of Wisconsin-Madison, USA)

Impact of Temperature on Hard Disk Drive Reliability in Large Datacenters ..........................................................................................530 Sriram Sankar, Mark Shaw and Kushagra Vaid (Microsoft, USA)

Merging Ultra-low Duty Cycle Networks .........................................538 Matthew Dobson, Spyros Voulgaris and Maarten van Steen (Vrije University, Netherlands)

xxxviii

PDS 9: Performance Evaluation

Chair: Felicita DiGiandomenico, (CNR-ISTI, Italy)

Modeling Time Correlation in Passive Network Loss Tomography ........................................................................................550

Jin Cao (Bell Labs, Alcatel-Lucent, USA), Aiyou Chen (Google Inc., USA) and Patrick P. C. Lee (The Chinese University of Hong Kong, USA)

Simple bounds for a transient queue .................................................562 Takayuki Osogami and Rudy Raymond (IBM Research – Tokyo, Japan)

Approximate Analysis of Blocking Queueing Networks with Temporal Dependence ........................................................................574 Vittoria De Nitto Persone' (University of Rome Tor Vergata, Italy), Giuliano Casale (Imperial College London, UK) and Evgenia Smirni (The College of William and Mary, USA)

xxxix

DSN 2011 Workshops

Full day Workshops: The 5th Workshop on Recent Advances in Intrusion-Tolerant Systems (WRAITS) .............................................................................586 Alysson Bessani (University of Lisboa, Portugal) Partha Pal (BBN Technologies, USA)

The 5th Workshop on Dependable and Secure Nanocomputing (WDSN) ...................................................................588 Jean Arlat (LAAS-CNRS, France), Cristian Constantinescu (AMD, USA), Johan Karlsson (Chalmers University of Technology, Sweden), Takashi Nanya (Canon Inc., Japan), Alan Wood (Oracle, USA)

The 1st International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV) ...............590

Jogesh K. Muppala (HKUST, Hong Kong), Matti Hiltunen (AT&T Labs-Research, USA), Robert Stroud (City University, London, UK), Ji Wang (NLPDP, NUDT, China)

The 7th Workshop on Hot Topics in System Dependability (HotDep) ...............................................................................................592

Mootaz Elnozahy (IBM Research, USA), Andreas Haeberlen (University of Pennsylvania, USA, )

xl

DSN 2011 Workshops

Half day Workshops:

The 1st International Workshop on Open Systems Dependability: Adaptation to Changing World (WOSD) .........................................593 Mario Tokoro (Sony Computer Science Laboratories, Inc., Japan), Karama Kanoun (LAAS-CNRS, France) Kimio Kuramitsu (Yokohama NationalUniversity, Japan) and Jean-Charles Fabre (LAAS-CNRS, France)

The 3rd Workshop on Proactive Failure Avoidance, Recovery and Maintenance (PFARM) ...............................................................595 Miroslaw Malek, Felix Salfner (Humboldt University, Germany), Kishor S. Trivedi (Duke University, USA)

The 5th International workshop on Adaptive and DependAble Mobile Ubiquitous Systems (ADAMUS) ...........................................597 Domenico Cotroneo (University of Naples, Italy), Vincenzo De Florio (University of Antwerp, Belgium)  

xli