2011IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN 2011) Hong Kong, China 27-30 June 2011 4 IEEE IEEE Catalog Number: CFPl 1048-PRT ISBN: 978-1-4244-9232-9
2011IEEE/IFIP 41st International
Conference on Dependable
Systems & Networks
(DSN 2011)
Hong Kong, China
27-30 June 2011
4 IEEE IEEE Catalog Number: CFPl1048-PRT
ISBN: 978-1-4244-9232-9
DCCS 1: Safety and Security
Chair: Matti Hiltunen, (AT&TLabs 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 (TUDarmstadt,
Germany), andMarcel Winandy (Ruhr-University Bochum, Germany)
Boundless Memory Allocations for Memory Safety and HighAvailability 13
Marc Brunink, Martin Siifikraut and ChristofFetzer (TU Dresden, Germany)
A Methodology for the Generation of Efficient Error Detection
Mechanisms 25
Matthew Leeke, Saima Arif, ArshadJhumka and Sarabjot Singh Anand (Universityof 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 Alain Bhuiyan, Steven Lai (Hong KongPolytechnic 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 PrivacyImplications of Domain Name Prefetching 61
Srinivas Krishnan andFabian 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 (TUDarmstadt, Germany), Marco Serafini (YahooResearch, Spain), and Neeraj Suri (TUDarmstadt, Germany)
Unified Debugging of Distributed Systems with Recon 85
Kyu Hyung Lee, Nick Sumner, Xiangyu Zhang andPatrick Eugster (PurdueUniversity, USA)
Improving Log-Based Field Failure Data Analysis of Multi Nodes
Computing Systems 97
Antonio Pecchia, Domenico Cotroneo (Federico II University ofNaples, Italy),Zbigniew Kalbarczyk and Ravishankar K. Iyer (University ofIllinois at Urbana-
Champaign, USA)
xxiii
DCCS 4: Network Security
Chair: Vitaly Shmatikov, (UTAustin, USA)
An Analysis of Signature Overlaps in Intrusion Detection
Systems 100
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 ofGeorgia,USA), Wenke Lee, Unum Sarfraz (Georgia Tech, USA), andXiapu Luo (HongKong Polytechnic University, USA)
Applying Game Theory to Analyze Attacks and Defenses in Virtual
Coordinate Systems 133
Sheila Becker (University ofLuxembourg, Luxembourg), JeffSeibert, David Zage,Cristina Nita-Rotaru (Purdue University, USA) andRadu State (University ofLuxembourg, 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 ofLisboa, Portugal)
Communix: A Collaborative Deadlock Immunity Framework 181
Horatiu Jula, Pinar Tozun and George Candea (EPFL, Switzerland) (ToolDescription/Demo)
CloudVal: A Framework for Validation of Virtualization
Environment in Cloud Infrastructure 189
CuongPham, Daniel Chen, Zbigniew Kalbarczyk, andRavishankar Iyer(University ofIllinois 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 ofFlorida, 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 (HuazhongUniversity ofScience and Technology, China)
LLS: Cooperative Integration of Wear-Leveling and Salvaging for
PCM Main Memory 221
Lei Jiang, Yu Du, Youtao Zhang, Bruce Childers, andJun Yang (University ofPittsburgh, 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-BackupSystems 245
Flavio Junqueira, Benjamin Reedand Marco Serafini (Yahoo Research, Spain)
Deadline-Aware Scheduling for Software Transactional
Memory 257
Walther Maldonado, Patrick MarHer, Pascal Felber (University ofNeuchatel,Switzerland), Julia Lawall (DIKU, Denmark), Gilles Muller (INRIA/LIP6, France)and Etienne Riviere (University ofNeuchatel, 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, DavidKung, Christoph Csallner, Dazhi
Zhang (University of Texas at Arlington, USA), Raghu Kacker and RickKuhn
(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 andXiaowei Li (Chinese Academy ofSciences, China)
xxix
PDS 1: Fault Tolerance Assessment
Chair: Domenico Cotroneo, (University di Napoli Federico II, Italy)
Fault injection-based assessment of aspect-oriented implementationof fault tolerance 303
Ruben Alexandersson andJohan 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 (GMIndiaScience Lab, India), Partha Pratim Chakrabarti (IIT Kharagpur, India) and
Purnendu Sinha (GMIndia Science Lab, India)
Characterization of Logical Masking and Error Propagation in
Combinational Circuits and Effects on System Vulnerability 323
Nishant George andJohn 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 (Universita degli Studi di Messina, Italy), Rahul Ghosh (DukeUniversity, USA), Vijay K. Naik (IBMT. J. Watson Research Center, USA) and
Kishor S. Trivedi (Duke University, USA)
Modeling and Evaluating Targeted Attacks in Large Scale DynamicSystems 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 andHongyang Qu (Oxford University, UK)
xxxii
PDS 3: Survivable and Intrusion-Tolerant
Systems
Chair: Michel Cukier, (University ofMaryland, College Park, USA)
Hypervisor-Assisted Application Checkpointing in Virtualized
Environments 371
MinLee (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 ofLisbon, Portugal), Ilir Gashi (CityUniversity ofLondon, UK), Nuno Neves (University ofLisbon, Portugal) and
Rafael Obelheiro (State University ofSanta 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 LudmilaCherkasova (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 Siifikraut, Ute Schiffel,Stephan Creutz and ChristofFetzer (TUDresden, Germany)
Toward Dependability Benchmarking of Partitioning OperatingSystems 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 DependabilityEvaluation.......... 430
Gabriela Jacques-Silva, Zbigniew Kalbarczyk (University ofIllinois at Urbana-
Champaign, USA), Bugra Gedik, Henrique Andrade, Kun-Lung Wu (IBMResearch, USA) and Ravishankar K. Iyer (Univeristy ofIllinois 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 andNicola Nostro (ISTI-CNR,
Italy)
High Performance State-Machine Replication 454
Parisa Marandi, Marco Primi andFernando Pedone (University ofLugano,Switzerland)
XXXV
PDS 6: Security Studies
Chair: Bojan Cukic, (West Virginia University, USA)
How Secure are Networked Office Devices? 466
Edward Condon (University ofMaryland, USA), Zaina Afoulki (Ecole Nationale
Superieure d'Ingenieurs de Bourges, France), Emily Cummins (Rochester Institute
ofTechnology, USA) and Michel Cukier (University ofMaryland, USA)
A Combinatorial Approach to Network Covert Communications
with Applications in Web Leaks 474
XiapuLuo, Peng Zhou, Edmond W. W. Chan, Rocky K. C. Chang (HKPolyU,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 ImproveCrash Triage 486
Sunghun Kim (Hong Kong University ofScience 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 andMichaelReiter (University ofNorth Carolina at
Chapel Hill, USA)
Analysis of Security Data from a Large Computing
Organization 506
Aashish Sharma, Zbigniew Kalbarczyk, Jim Barlow andRavishankar K, Iyer
(UIUC, USA)
xxxvii
PDS 8: Wireless Networks and Storage Systems
Chair: JieXu, (University ofLeeds, UK)
Coerced Cache Eviction and Discreet-Mode Journaling: Dealing
with Misbehaving Disks.. 518
Abhishek Rajimwale (Data Domain, Inc., USA), Vijay Chidambaram, DeepakRamamurthi, Andrea Arpaci-Dusseau andRemzi Arpaci-Dusseau (University of
Wisconsin-Madison, USA)
Impact of Temperature on Hard Disk Drive Reliability in LargeDatacenters 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 ofHong Kong, USA)
Simple bounds for a transient queue 562
Takayuki Osogami andRudy Raymond (IBMResearch - Tokyo, Japan)
Approximate Analysis of Blocking Queueing Networks with
Temporal Dependence 574
Vittoria De Nitto Persone' (University ofRome Tor Vergata, Italy), Giuliano
Casale (Imperial College London, UK) andEvgenia Smirni (The College ofWilliam 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 ofLisboa, 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 (CanonInc., Japan), Alan Wood (Oracle, USA)
The 1st International Workshop on Dependability of Clouds, Data
Centers and Virtual Computing Environments (DCDV) 590
JogeshK. Muppala (HKUST, Hong Kong), Matti Hiltunen (AT&TLabs-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 (IBMResearch, USA), Andreas Haeberlen (University ofPennsylvania, 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), KaramaKanoun (LAAS-CNRS, France) Kimio Kuramitsu (Yokohama NationalUniversity,Japan) and Jean-Charles Fabre (LAAS-CNRS, France)
The 3rd Workshop on Proactive Failure Avoidance, Recoveryand Maintenance (PFARM) 595
Miroslaw Malek, Felix Salfner (Humboldt University, Germany), Kishor S. Trivedi
(Duke University, USA)
The 5th International workshop on Adaptive and DependAbleMobile Ubiquitous Systems (ADAMUS) 597
Domenico Cotroneo (University ofNaples, Italy), Vincenzo De Florio (UniversityofAntwerp, Belgium)
xli